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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FireExtinguisher

 Sigma KEE - FireExtinguisher
FireExtinguisher(滅火器)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25478-25479
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25477-25477 子類 滅火器 and Device

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23930-23930
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23929-23929
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23928-23928

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25489-25494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25480-25487


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