TreeView Knowledge Base Browser - TropicalCyclone

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

TropicalCyclone

Sigma KEE - TropicalCyclone

TropicalCyclone

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 672-673
No TPTP formula. May not be expressible in strict first order.	Weather.kif 669-671
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3020-3020
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3252-3252
No TPTP formula. May not be expressible in strict first order.	Weather.kif 668-668	TropicalCyclone e' uma sub-classe de TropicalCyclonicSystem

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59246-59246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59245-59245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59244-59244

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 689-702	Processo e' uma instancia de TropicalCyclone Processo termina em Fisico Fisico e' uma instancia de Area Geografica Objeto Fisico and Numero Real Objeto e' uma instancia de Area terrestre Fisico e' uma instancia de Shoreline Fisico e' situado em Objeto a distancia entre Objeto e Fisico e' Numero Real Mile(s) Numero Real e' maior que 200.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 677-687	Processo e' uma instancia de TropicalCyclone Area Geografica Numero Real Area Geografica e' uma instancia de Area Geografica eventLocated Processo and Area Geografica Numero Real MilesPerHour(s) e' igual a Mean1MinuteWindSpeedFn Area Geografica and tempo de existencia de Processo Numero Real e' maior ou igual a 44.0

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 736-747	Entidade e' uma instancia de Hurricane Processo Area Geografica and Numero Real Processo e' uma instancia de TropicalCyclone Area Geografica e' uma instancia de Area Geografica eventLocated Processo and Area Geografica Numero Real MilesPerHour(s) e' igual a Mean1MinuteWindSpeedFn Area Geografica and tempo de existencia de Processo Numero Real e' maior ou igual a 74.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 770-781	Entidade e' uma instancia de Typhoon EntidadeC Area Geografica and Numero Real EntidadeC e' uma instancia de TropicalCyclone Area Geografica e' uma instancia de Area Geografica eventLocated EntidadeC and Area Geografica Numero Real MilesPerHour(s) e' igual a Mean10MinutesWindSpeedFn Area Geografica and tempo de existencia de EntidadeC Numero Real e' maior ou igual a 64.0

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