productOfAnimal |
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 18124-18126 | |
(domainSubclass productOfAnimal 1 OrganicObject) | Mid-level-ontology.kif 18127-18127 | |
(domainSubclass productOfAnimal 2 Animal) | Mid-level-ontology.kif 18128-18128 | |
(instance productOfAnimal BinaryPredicate) | Mid-level-ontology.kif 18123-18123 |
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 18130-18130 |
antecedent |
![]() |
(=> (productOfAnimal ?MEATOBJ ?ANIMAL) (exists (?TIME ?A) (and (instance ?A ?ANIMAL) (instance ?M ?MEATOBJ) (during ?TIME (WhenFn ?A)) (part ?M ?A)))) |
Mid-level-ontology.kif 18139-18146 |
appearance as argument number 0 |
![]() |
(productOfAnimal Sheepskin Sheep) | Economy.kif 4320-4320 |
![]() |
![]() |