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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fire

Sigma KEE - Fire
Fire(fire)
backfire, balefire, bonfire, brush_fire, campfire, conflagration, fire, inferno, smudge, wildfire

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21268-21270
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 21267-21267 Fire is a subclass of combustion

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21272-21272 Arson is a subclass of fire
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23901-23901
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23900-23900
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23899-23899

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25820-25838
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2981-2987
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24835-24842
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24820-24830


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