Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Herbivore
Herbivore

appearance as argument number 1
-------------------------


(subclass Herbivore Organism) Mid-level-ontology.kif 22277-22277
(disjoint Herbivore Carnivore) Mid-level-ontology.kif 22278-22278
(documentation Herbivore EnglishLanguage "A plant-eating Mammal.") Mid-level-ontology.kif 22279-22279
(externalImage Herbivore "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9c/ Deer.jpg") pictureList.kif 4721-4721

appearance as argument number 2
-------------------------


(subclass Elephant Herbivore) Mid-level-ontology.kif 22382-22382
(subclass Panda Herbivore) Mid-level-ontology.kif 33146-33146
(termFormat EnglishLanguage Herbivore "herbivore") domainEnglishFormat.kif 28001-28001
(termFormat ChineseTraditionalLanguage Herbivore "草食動物") domainEnglishFormat.kif 28002-28002
(termFormat ChineseLanguage 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 22281-22287


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners