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

KB Term:  Term intersection
English Word: 

Sigma KEE - Bunny
Bunny(Bunny)bunny, bunny_rabbit

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


(subclass Bunny Rabbit) Mid-level-ontology.kif 22628-22628 Bunny is a subclass of rabbit
(documentation Bunny EnglishLanguage "A NonFullyFormed Rabbit.") Mid-level-ontology.kif 22629-22629 Bunny is a subclass of rabbit

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


(termFormat EnglishLanguage Bunny "Bunny") domainEnglishFormat.kif 64576-64576

antecedent
-------------------------


(=>
    (instance ?K Bunny)
    (attribute ?K NonFullyFormed))		 Mid-level-ontology.kif 22631-22633 If X is an instance of Bunny, then non fully formed is an attribute of X


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