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 20383-20384
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 20382-20382 Rat e' uma sub-classe de Roedor

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


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


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