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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CyclonicStorm

Sigma KEE - CyclonicStorm
CyclonicStorm(cyclonic storm)
cyclone

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 1083-1083
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 4504-4504 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 1650-1650 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 18267-18267
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18266-18266
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18265-18265

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
No TPTP formula. May not be expressible in strict first order. Weather.kif 560-570


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