TreeView Knowledge Base Browser - TropicalCyclonicSystem

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

TropicalCyclonicSystem

Sigma KEE - TropicalCyclonicSystem

TropicalCyclonicSystem

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 607-611
No TPTP formula. May not be expressible in strict first order.	Weather.kif 602-606
No TPTP formula. May not be expressible in strict first order.	Weather.kif 601-601	TropicalCyclonicSystem e' uma sub-classe de CyclonicStorm

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 732-732	Hurricane e' uma sub-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order.	Weather.kif 668-668	TropicalCyclone e' uma sub-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order.	Weather.kif 644-644	TropicalDepression e' uma sub-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order.	Weather.kif 704-704	TropicalStorm e' uma sub-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order.	Weather.kif 766-766	Typhoon e' uma sub-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order.	Weather.kif 613-613
No TPTP formula. May not be expressible in strict first order.	Weather.kif 612-612

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 623-642	Processo e' uma instancia de TropicalCyclonicSystem Processo tem como origem Objeto Objeto e' uma instancia de NorthAtlanticOcean Objeto e' uma instancia de PacificOcean Objeto e' uma instancia de IndianOcean Objeto Atributo Directional, Numero Real and Longitude Objeto e' situado em Objeto Atributo Directional e' uma instancia de Atributo Directional objectGeographicCoordinates Objeto, LatitudeFn Atributo Directional and Numero Real AngularDegree(s) and Longitude Atributo Directional e' igual a North Atributo Directional e' igual a South Numero Real e' menos que 5.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 615-621	Processo e' uma instancia de TropicalCyclonicSystem Area Geografica Area Geografica e' uma instancia de Area Geografica geographicSubregion Area Geografica and Tropics Processo tem como origem Area Geografica

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