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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Omelette

 Sigma KEE - FireEngine
FireEngine(消防车)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1899-1901
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2818-2818
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1115-1115
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1898-1898 消防车 是 紧急公路车辆 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23924-23924
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23923-23923
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23922-23922


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