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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CyclonicStorm

Sigma KEE - CyclonicStorm
CyclonicStorm

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 545-547
No TPTP formula. May not be expressible in strict first order. Weather.kif 542-544
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 540-540 CyclonicStorm est une sous-classe de LowPressureWeatherSystem
No TPTP formula. May not be expressible in strict first order. Weather.kif 541-541 CyclonicStorm est une sous-classe de Storm

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4677-4677 naturalHazardTypeInArea SouthernOcean and CyclonicStorm
No TPTP formula. May not be expressible in strict first order. Weather.kif 1632-1632 Tornado est une sous-classe de CyclonicStorm
No TPTP formula. May not be expressible in strict first order. Weather.kif 589-589 TropicalCyclonicSystem est une sous-classe de CyclonicStorm
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 584-584 Le nombre 1 argument de radiusOfMaximumWind est une instance de CyclonicStorm

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 556-561
No TPTP formula. May not be expressible in strict first order. Weather.kif 549-554


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