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 611-615
No TPTP formula. May not be expressible in strict first order.	Weather.kif 606-610
No TPTP formula. May not be expressible in strict first order.	Weather.kif 605-605	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 736-736	Hurricane e' uma sub-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order.	Weather.kif 672-672	TropicalCyclone e' uma sub-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order.	Weather.kif 648-648	TropicalDepression e' uma sub-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order.	Weather.kif 708-708	TropicalStorm e' uma sub-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order.	Weather.kif 770-770	Typhoon e' uma sub-classe de TropicalCyclonicSystem
No TPTP formula. May not be expressible in strict first order.	Weather.kif 617-617
No TPTP formula. May not be expressible in strict first order.	Weather.kif 616-616

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 627-646	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 619-625	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