TreeView Knowledge Base Browser - Mean1MinuteWindSpeedFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2318-2321
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2312-2316
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2323-2323	Le nombre 1 argument de Mean1MinuteWindSpeedFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2324-2324	Le nombre 2 argument de Mean1MinuteWindSpeedFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2326-2326	Mean1MinuteWindSpeedFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2325-2325	Le domaine de Mean1MinuteWindSpeedFn 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 2322-2322
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2317-2317
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10382-10382
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10381-10381

antecedent

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

Weather.kif 2328-2345

Function de quantit� est Mean1MinuteWindSpeedFn secteur g�ographique and interval temporel
entit� entit�, entit� and entit� entit� est une instance de MeasuringSurfaceWindSpeedList locationMeasuringList entit� and secteur g�ographique measuringListInterval entit� and 5 SecondDuration(s) measuringListDuration entit� and 1 MinuteDuration(s) 12 est longueur de entit� measuringResult entit� and entit� entit� est PhysicalQuantityToNumberFn entit� function de quantit� est AverageFn entit� entit�(s) pendant interval temporel

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2443-2457	Processus est une instance de Hurricane entit� est une instance de SSHWS5 eventLocated processus and objet agent cognitif croit processus a un attribute entit� nombre r�el nombre r�el est plus grand que 157.0 agent cognitif croit nombre r�el MilesPerHour(s) est Mean1MinuteWindSpeedFn objet and temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2365-2384	Processus est une instance de Hurricane SpeedScaleAttribute est une instance de SSHWSAttribute eventLocated processus and objet agent cognitif croit processus a un attribute SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, nombre r�el unit� de mesure(s) and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure 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 unit� de mesure(s) est Mean1MinuteWindSpeedFn objet and temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 740-751	Entit� est une instance de Hurricane processus secteur g�ographique and nombre r�el processus est une instance de TropicalCyclone secteur g�ographique est une instance de secteur g�ographique eventLocated processus and secteur g�ographique nombre r�el MilesPerHour(s) est Mean1MinuteWindSpeedFn secteur g�ographique and temps d'existence de processus nombre r�el est plus grand ou �gal � 74.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 681-691	Processus est une instance de TropicalCyclone secteur g�ographique nombre r�el secteur g�ographique est une instance de secteur g�ographique eventLocated processus and secteur g�ographique nombre r�el MilesPerHour(s) est Mean1MinuteWindSpeedFn secteur g�ographique and temps d'existence de processus nombre r�el est plus grand ou �gal � 44.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 660-670	Processus est une instance de TropicalDepression secteur g�ographique nombre r�el secteur g�ographique est une instance de secteur g�ographique eventLocated processus and secteur g�ographique nombre r�el MilesPerHour(s) est Mean1MinuteWindSpeedFn secteur g�ographique and temps d'existence de processus nombre r�el est plus petit ou �gal � 38.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 716-727	Processus est une instance de TropicalStorm secteur g�ographique nombre r�el secteur g�ographique est une instance de secteur g�ographique eventLocated processus and secteur g�ographique nombre r�el MilesPerHour(s) est Mean1MinuteWindSpeedFn secteur g�ographique and temps d'existence de processus nombre r�el est plus grand ou �gal � 39.0 nombre r�el est plus petit ou �gal � 74.0

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: