TreeView Knowledge Base Browser - CyclonicStorm

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CyclonicStorm

CyclonicStorm(cyclonic storm)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 556-558
No TPTP formula. May not be expressible in strict first order.	Weather.kif 553-555
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1082-1082
No TPTP formula. May not be expressible in strict first order.	Weather.kif 551-551	Cyclonic storm is a subclass of low pressure weather system
No TPTP formula. May not be expressible in strict first order.	Weather.kif 552-552	Cyclonic storm is a subclass of storm

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4677-4677	Cyclonic storm is a natural hazard type in area of southern ocean
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1649-1649	Tornado is a subclass of cyclonic storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 605-605	Tropical cyclonic system is a subclass of cyclonic storm
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18276-18276
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18275-18275
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18274-18274

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Weather.kif 600-600

The number 1 argument of radius of maximum wind is an instance of cyclonic storm

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 572-577	If a process is an instance of cyclonic storm and an object is an instance of air stream and the process is located at the object, then cylinder is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 560-570	If an entity is an instance of cyclonic storm, then there exist a process, another entity,, , another process and a third process such that the process is an instance of rotating and the other entity is an instance of air and the other process is an instance of translocation and the process is a subprocess of the third process and the other process is a subprocess of the process and the other entity is a patient of the other process and entities in the process the other process are moving horizontal

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