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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Storm

Sigma KEE - Storm
Storm

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2869-2871
No TPTP formula. May not be expressible in strict first order. Weather.kif 2865-2868
No TPTP formula. May not be expressible in strict first order. Weather.kif 2872-2872 Storm e' uma sub-classe de WeatherProcess

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2600-2600 Blizzard e' uma sub-classe de Storm
No TPTP formula. May not be expressible in strict first order. Weather.kif 541-541 CyclonicStorm e' uma sub-classe de Storm
No TPTP formula. May not be expressible in strict first order. Weather.kif 1237-1237 DustStorm e' uma sub-classe de Storm
No TPTP formula. May not be expressible in strict first order. Weather.kif 2919-2919 Snowstorm e' uma sub-classe de Storm
No TPTP formula. May not be expressible in strict first order. Weather.kif 1235-1235 Squall e' uma sub-classe de Storm
No TPTP formula. May not be expressible in strict first order. Weather.kif 827-827 Thunderstorm e' uma sub-classe de Storm
No TPTP formula. May not be expressible in strict first order. Weather.kif 1631-1631 Tornado e' uma sub-classe de Storm
No TPTP formula. May not be expressible in strict first order. Weather.kif 1226-1226 Windstorm e' uma sub-classe de Storm
No TPTP formula. May not be expressible in strict first order. Weather.kif 2874-2874
No TPTP formula. May not be expressible in strict first order. Weather.kif 2873-2873

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2888-2897
No TPTP formula. May not be expressible in strict first order. Weather.kif 2899-2912
No TPTP formula. May not be expressible in strict first order. Weather.kif 2876-2886


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