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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hurricane

 Sigma KEE - Hurricane
Hurricane

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 717-719
No TPTP formula. May not be expressible in strict first order. Weather.kif 713-716
No TPTP formula. May not be expressible in strict first order. pictureList.kif 510-510
No TPTP formula. May not be expressible in strict first order. Weather.kif 720-720 Hurricane est une sous-classe de TropicalCyclonicSystem

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 722-722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28971-28971
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28970-28970
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28969-28969

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 737-747
No TPTP formula. May not be expressible in strict first order. Weather.kif 2426-2440
No TPTP formula. May not be expressible in strict first order. Weather.kif 2348-2367
No TPTP formula. May not be expressible in strict first order. Weather.kif 724-735

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2342-2346


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