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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ForestFire

 Sigma KEE - ForestFire
ForestFire(forest fire)
more pictures...		crown_fire, forest_fire, ground_fire, surface_fire

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 2823-2823
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2821-2821
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2681-2681
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2822-2822
No TPTP formula. May not be expressible in strict first order. pictureList.kif 443-443
No TPTP formula. May not be expressible in strict first order. Geography.kif 2408-2408 Forest fire is a subclass of combustion
No TPTP formula. May not be expressible in strict first order. Geography.kif 2719-2719 Forest fire is a subclass of forest damage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24687-24687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24686-24686
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24685-24685

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2410-2416


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