TreeView Knowledge Base Browser - ThreeSecondGustSpeedFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ThreeSecondGustSpeedFn

Sigma KEE - ThreeSecondGustSpeedFn

ThreeSecondGustSpeedFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2029-2030
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2025-2027
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2033-2033	Le nombre 1 argument de ThreeSecondGustSpeedFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2034-2034	Le nombre 2 argument de ThreeSecondGustSpeedFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2036-2036	ThreeSecondGustSpeedFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2035-2035	Le domaine de ThreeSecondGustSpeedFn est une instance de function de quantit�

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2031-2032
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2028-2028
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10385-10385
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10384-10384

antecedent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 2038-2048

Function de quantit� est ThreeSecondGustSpeedFn secteur g�ographique and interval temporel
function de quantit�LIST NumberList and unit� de mesure function de quantit�LIST est Mean3SecondWindSpeedListFn secteur g�ographique and interval temporel NumberList est PhysicalQuantityToNumberFn function de quantit�LIST function de quantit� est MaxValueFn NumberList unit� de mesure(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2191-2205	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 2096-2114	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

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