TreeView Knowledge Base Browser - speedScaleAttributeMinMax

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2117-2119
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2112-2115
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2121-2121	Le nombre 1 argument de speedScaleAttributeMinMax est une instance de SpeedScaleAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2122-2122	Le nombre 2 argument de speedScaleAttributeMinMax est une instance de function de quantit�
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2123-2123	Le nombre 3 argument de speedScaleAttributeMinMax est une instance de function de quantit�
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2124-2124	speedScaleAttributeMinMax est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2120-2120
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2116-2116
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10352-10352
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10351-10351

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2361-2380	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 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 349-366	Processus est une instance de Wind SpeedScaleAttribute est une instance de BeaufortNumberAttribute 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 surfaceWindSpeed objet and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2126-2139	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 physique nombre r�el physique est une instance de d�palcement physique a un attribute SpeedScaleAttribute la mesure de physique est nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el nombre r�el est plus petit ou �gal � nombre r�el

appearance as argument number 0

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)

KB Term:			Term intersection

English Word: