TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1692-1693
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1690-1691
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1696-1696	MilesPerHour est une instance de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1695-1695	MilesPerHour 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 1694-1694	MilesPerHour s'appele nom "mph"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10430-10430
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10429-10429

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1698-1704	Function de quantit� est nombre r�el MilesPerHour(s) function de quantit� est nombre r�el Mile(s) par 1 HourDuration(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2591-2609	engineIdleSpeed InternalCombustionEngine and RotationFn nombre r�el MilesPerHour(s) and dur�e temporel objet est une instance de Automobile processus est une instance de GasPedal processus est une instance de Pushing processus aboutit � objet InternalCombustionEngine est une partie de objet objet est une partie de objet objet est une instance de Crankshaft objet est une partie de InternalCombustionEngine la mesure de objet est RotationFn entit� MilesPerHour(s) and dur�e temporel pendant temps d'existence de processus l'argument entit� est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2890-2908	governorSpeed SpeedGovernor and function de quantit� nombre r�el MilesPerHour(s) est mesure de longueur par dur�e temporel nombre r�el MilesPerHour(s) est mesure de longueur par dur�e temporel nombre r�el est plus grand que nombre r�el nombre r�elPROB est probabilit� de la mesure de SpeedGovernor est nombre r�el MilesPerHour(s) nombre r�elPROB est probabilit� de la mesure de SpeedGovernor est nombre r�el MilesPerHour(s) nombre r�elPROB est plus grand que nombre r�elPROB
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2936-2954	Composant d'un appareil est une instance de EngineGovernor composant d'un appareil est une instance de Engine composant d'un appareil est connect� � composant d'un appareil governorSpeed composant d'un appareil and nombre r�el MilesPerHour(s) composant d'un appareil a pour but entit� entit� and entit� entit� est une instance de appareil entit� est une partie de composant d'un appareil entit� est une instance de Rotating la mesure de entit� est entit� MilesPerHour(s) entit� est plus grand que nombre r�el pendant temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2963-2979	Composant d'un appareil est une instance de EngineGovernor composant d'un appareil est une instance de Vehicle composant d'un appareil est connect� � composant d'un appareil governorSpeed SpeedGovernor and nombre r�el MilesPerHour(s) composant d'un appareil a pour but entit� entit� entit� est une instance de Translocation la mesure de composant d'un appareil est entit� MilesPerHour(s) entit� est plus grand que nombre r�el pendant temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2915-2927	Composant d'un appareil est une instance de SpeedGovernor governorSpeed composant d'un appareil and nombre r�el MilesPerHour(s) composant d'un appareil est connect� � composant d'un appareil composant d'un appareil a pour but nombre r�elP2 la mesure de composant d'un appareil est nombre r�elP2 MilesPerHour(s) nombre r�elP2 est plus grand que nombre r�el
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.	Merge.kif 11286-11294	Physique est une instance de Wind physique est situ� � objet interval temporel est temps d'existence de physique surfaceWindSpeed objet and nombre r�el MilesPerHour(s) pendant interval temporel nombre r�el est plus grand que 20.0

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1252-1267	Processus est une instance de Braking entit� est un patient de processus nombre r�el MilesPerHour(s) est AccelerationFn entit�, entit�, entit� and entit� pendant immediatement avant temps d'existence de processus nombre r�el MilesPerHour(s) est AccelerationFn entit�, entit�, entit� and entit� pendant immediatement apr�s temps d'existence de processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2936-2954	Composant d'un appareil est une instance de EngineGovernor composant d'un appareil est une instance de Engine composant d'un appareil est connect� � composant d'un appareil governorSpeed composant d'un appareil and nombre r�el MilesPerHour(s) composant d'un appareil a pour but entit� entit� and entit� entit� est une instance de appareil entit� est une partie de composant d'un appareil entit� est une instance de Rotating la mesure de entit� est entit� MilesPerHour(s) entit� est plus grand que nombre r�el pendant temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2963-2979	Composant d'un appareil est une instance de EngineGovernor composant d'un appareil est une instance de Vehicle composant d'un appareil est connect� � composant d'un appareil governorSpeed SpeedGovernor and nombre r�el MilesPerHour(s) composant d'un appareil a pour but entit� entit� entit� est une instance de Translocation la mesure de composant d'un appareil est entit� MilesPerHour(s) entit� est plus grand que nombre r�el pendant temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2915-2927	Composant d'un appareil est une instance de SpeedGovernor governorSpeed composant d'un appareil and nombre r�el MilesPerHour(s) composant d'un appareil est connect� � composant d'un appareil composant d'un appareil a pour but nombre r�elP2 la mesure de composant d'un appareil est nombre r�elP2 MilesPerHour(s) nombre r�elP2 est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2439-2453	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 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 484-496	Processus est une instance de Wind entit� est une instance de BeaufortNumber12 eventLocated processus and objet agent cognitif croit processus a un attribute entit� nombre r�el nombre r�el est plus grand que 73.0 agent cognitif croit surfaceWindSpeed objet and nombre r�el MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 736-747	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 770-781	Entit� est une instance de Typhoon entit�C secteur g�ographique and nombre r�el entit�C est une instance de TropicalCyclone secteur g�ographique est une instance de secteur g�ographique eventLocated entit�C and secteur g�ographique nombre r�el MilesPerHour(s) est Mean10MinutesWindSpeedFn secteur g�ographique and temps d'existence de entit�C nombre r�el est plus grand ou �gal � 64.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 677-687	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 656-666	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 712-723	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

statement

No TPTP formula. May not be expressible in strict first order.	Weather.kif 375-375	speedScaleAttributeMinMax BeaufortNumber0, 0.0 MilesPerHour(s) and 1.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 384-384	speedScaleAttributeMinMax BeaufortNumber1, 1.0 MilesPerHour(s) and 3.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 466-466	speedScaleAttributeMinMax BeaufortNumber10, 55.0 MilesPerHour(s) and 63.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 475-475	speedScaleAttributeMinMax BeaufortNumber11, 64.0 MilesPerHour(s) and 72.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 393-393	speedScaleAttributeMinMax BeaufortNumber2, 4.0 MilesPerHour(s) and 7.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 403-403	speedScaleAttributeMinMax BeaufortNumber3, 8.0 MilesPerHour(s) and 12.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 412-412	speedScaleAttributeMinMax BeaufortNumber4, 13.0 MilesPerHour(s) and 18.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 421-421	speedScaleAttributeMinMax BeaufortNumber5, 19.0 MilesPerHour(s) and 24.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 430-430	speedScaleAttributeMinMax BeaufortNumber6, 25.0 MilesPerHour(s) and 31.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 439-439	speedScaleAttributeMinMax BeaufortNumber7, 32.0 MilesPerHour(s) and 38.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 448-448	speedScaleAttributeMinMax BeaufortNumber8, 39.0 MilesPerHour(s) and 46.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 457-457	speedScaleAttributeMinMax BeaufortNumber9, 47.0 MilesPerHour(s) and 54.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2147-2147	speedScaleAttributeMinMax EF0, 65.0 MilesPerHour(s) and 85.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2155-2155	speedScaleAttributeMinMax EF1, 86.0 MilesPerHour(s) and 110.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2163-2163	speedScaleAttributeMinMax EF2, 111.0 MilesPerHour(s) and 135.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2171-2171	speedScaleAttributeMinMax EF3, 136.0 MilesPerHour(s) and 165.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2179-2179	speedScaleAttributeMinMax EF4, 166.0 MilesPerHour(s) and 200.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2392-2392	speedScaleAttributeMinMax SSHWS1, 74.0 MilesPerHour(s) and 95.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2404-2404	speedScaleAttributeMinMax SSHWS2, 96.0 MilesPerHour(s) and 110.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2416-2416	speedScaleAttributeMinMax SSHWS3, 111.0 MilesPerHour(s) and 129.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2428-2428	speedScaleAttributeMinMax SSHWS4, 130.0 MilesPerHour(s) and 156.0 MilesPerHour(s)

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

KB Term:			Term intersection

English Word: