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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rat

 Sigma KEE - Rat
Rat(鼠)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20410-20411
No TPTP formula. May not be expressible in strict first order. pictureList.kif 686-686
No TPTP formula. May not be expressible in strict first order. pictureList.kif 156-156
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20409-20409 鼠 是 啮齿动物 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48796-48796
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48795-48795
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48794-48794


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