| appearance as argument number 1 |
|
| (documentation productOfAnimal EnglishLanguage "(productOfAnimal ?OBJCLASS ?ANIMALCLASS) means that every instance of ?OBJCLASS was once part of some instance of ?ANIMALCLASS.") | Mid-level-ontology.kif 19680-19682 | |
| (domainSubclass productOfAnimal 1 OrganicObject) | Mid-level-ontology.kif 19683-19683 | The number 1 argument of productOfAnimal is a subclass of organic object |
| (domainSubclass productOfAnimal 2 Animal) | Mid-level-ontology.kif 19684-19684 | The number 2 argument of productOfAnimal is a subclass of animal |
| (instance productOfAnimal BinaryPredicate) | Mid-level-ontology.kif 19679-19679 | productOfAnimal is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage productOfAnimal "%2 produces %1 ") | domainEnglishFormat.kif 4247-4247 | |
| (format ChineseTraditionalLanguage productOfAnimal "%2 produces %1 ") | domainEnglishFormat.kif 4246-4246 | |
| (format EnglishLanguage productOfAnimal "%2 produces %1") | domainEnglishFormat.kif 4245-4245 | |
| (subrelation meatOfAnimal productOfAnimal) | Mid-level-ontology.kif 19686-19686 | meat of animal is a subrelation of productOfAnimal |
| antecedent |
|
|
| (=> (productOfAnimal ?MEATOBJ ?ANIMAL) (exists (?TIME ?A ?M) (and (instance ?A ?ANIMAL) (instance ?M ?MEATOBJ) (during ?TIME (WhenFn ?A)) (part ?M ?A)))) |
Mid-level-ontology.kif 19695-19702 |
|
| appearance as argument number 0 |
|
|
| (productOfAnimal Sheepskin Sheep) | Economy.kif 4473-4473 | Sheep produces sheepskin |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners