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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fire
Fire(火)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21862-21864
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 21861-21861 子類 火 and Combustion

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21866-21866 子類 縱火 and 火
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 26490-26508
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3023-3029
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25538-25545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25523-25533


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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