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 729-731
No TPTP formula. May not be expressible in strict first order. Weather.kif 725-728
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 732-732 飓风 是 热带氣旋系统 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 734-734
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 749-759
No TPTP formula. May not be expressible in strict first order. Weather.kif 2439-2453
No TPTP formula. May not be expressible in strict first order. Weather.kif 2361-2380
No TPTP formula. May not be expressible in strict first order. Weather.kif 736-747

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2355-2359


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