TreeView Knowledge Base Browser - Tornado

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Tornado

Tornado

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1642-1643
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1640-1641
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 789-789
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1645-1645	Tornado est une sous-classe de CyclonicStorm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1644-1644	Tornado est une sous-classe de Storm

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58472-58472
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58471-58471
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58470-58470

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2187-2201	Processus est une instance de Tornado entit� est une instance de EF5 eventLocated processus and objet agent cognitif croit processus a un attribute entit� nombre r�el nombre r�el est plus grand que 200.0 agent cognitif croit nombre r�el MilesPerHour(s) est ThreeSecondGustSpeedFn objet and temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2092-2110	Processus est une instance de Tornado SpeedScaleAttribute est une instance de EFScaleAttribute eventLocated processus and objet agent cognitif croit processus a un attribute SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, nombre r�el MilesPerHour(s) and nombre r�el MilesPerHour(s) nombre r�el nombre r�el est plus grand ou �gal � nombre r�el nombre r�el est plus petit ou �gal � nombre r�el agent cognitif croit nombre r�el MilesPerHour(s) est ThreeSecondGustSpeedFn objet and temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1647-1668	Processus est une instance de Tornado processus est une instance de Rotating objet est une instance de Air processusRAN est une instance de Translocation processus est un sous-processus de processus processusRAN est un sous-processus de processus objet est un patient de processusRAN les entit�es dans le processus processusRAN bougent Horizontal objet objet en une partie, processusOP, objet en une partie, objet en une partie and objet en une partie objet est une instance de secteur g�ographique eventLocated processus and objet objet en une partie est une partie de objet ConeSegment est un attribut de objet en une partie le dessus de objet en une partie est processusOP l' arri�re de objet en une partie est objet en une partie objet en une partie est une instance de Cloud l' arri�re de objet en une partie est objet en une partie processusOP rencontre objet en une partie objet en une partie rencontre objet

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2086-2090	Attribut est une instance de EFScaleAttribute entit� a un attribute attribut entit� est une instance de Tornado
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2066-2073	Entit� est une instance de TornadoDamage processus processus processus est une instance de Tornado processus est une instance de endommager processus cause processus entit� est un patient de processus

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