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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rabbit

 Sigma KEE - Rabbit
Rabbit(兔子)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20414-20414
No TPTP formula. May not be expressible in strict first order. pictureList.kif 683-683
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 73-73
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 74-74
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20413-20413 子類 兔子 and Rodent

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20416-20416 子類 Bunny and 兔子
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48388-48388
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48387-48387
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48386-48386


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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