Suppose you have a class Duck and you want to say that if something walks like a Duck, and talks like a Duck, then it is a Duck. You can do that with a class axiom:
((walksLike some Duck) and (talksLike some Duck)) SubClassOf Duck
A subclass axiom like this, where the left hand side is not just a class name, but is a complex class expression, is called a General Class Axiom. You can enter these in Protégé, under the Active Ontology tab:
For more about general class axioms, you may find Being complex on the left-hand-side: General Concept Inclusions useful.
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…