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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fire

 Sigma KEE - Fire
Fire(火)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21810-21812
No TPTP formula. May not be expressible in strict first order. pictureList.kif 431-431
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21809-21809 火 是 燃烧 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21814-21814 纵火 是 火 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23906-23906
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23905-23905
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23904-23904

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26457-26475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3030-3036
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25481-25488
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25466-25476


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