![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(disjoint Herbivore Carnivore) | Mid-level-ontology.kif 20009-20009 | |
(documentation Herbivore EnglishLanguage "A plant-eating Mammal.") | Mid-level-ontology.kif 20010-20010 | |
(externalImage Herbivore "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9c/ Deer.jpg") | pictureList.kif 4722-4722 | |
(subclass Herbivore Mammal) | Mid-level-ontology.kif 20008-20008 |
appearance as argument number 2 |
![]() |
(subclass Elephant Herbivore) | Mid-level-ontology.kif 20083-20083 | |
(subclass Panda Herbivore) | Mid-level-ontology.kif 30392-30392 | |
(termFormat ChineseLanguage Herbivore "草食动物") | domainEnglishFormat.kif 28005-28005 | |
(termFormat ChineseTraditionalLanguage Herbivore "草食動物") | domainEnglishFormat.kif 28004-28004 | |
(termFormat EnglishLanguage Herbivore "herbivore") | domainEnglishFormat.kif 28003-28003 |
antecedent |
![]() |
(=> (and (instance ?A Herbivore) (agent ?E ?A) (instance ?E Eating) (patient ?E ?F)) (instance ?F Plant)) |
Mid-level-ontology.kif 20012-20018 |
![]() |
![]() |