TreeView Knowledge Base Browser - speedScaleAttributeMinMax

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2121-2123
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2116-2119
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2125-2125	域 speedScaleAttributeMinMax, 1 and SpeedScaleAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2126-2126	域 speedScaleAttributeMinMax, 2 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2127-2127	域 speedScaleAttributeMinMax, 3 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2128-2128	例 speedScaleAttributeMinMax and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2124-2124
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.	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 2365-2384	例 Process and 颶風例 SpeedScaleAttribute and SSHWSAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 等於測量 RealNumber and UnitOfMeasure and Mean1MinuteWindSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2096-2114	例 Process and 龍捲風例 SpeedScaleAttribute and EFScaleAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and MilesPerHour and 測量 RealNumber and MilesPerHour RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and ThreeSecondGustSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 349-366	例 Process and 風例 SpeedScaleAttribute and BeaufortNumberAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 測量 RealNumber and UnitOfMeasure 是 Object 的 surface 風速
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2130-2143	speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure Physical RealNumber 例 Physical and Motion 屬性 Physical and SpeedScaleAttribute 測量 Physical and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Weather.kif 375-375	speedScaleAttributeMinMax BeaufortNumber0, 測量 0.0 and MilesPerHour and 測量 1.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 384-384	speedScaleAttributeMinMax BeaufortNumber1, 測量 1.0 and MilesPerHour and 測量 3.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 466-466	speedScaleAttributeMinMax BeaufortNumber10, 測量 55.0 and MilesPerHour and 測量 63.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 475-475	speedScaleAttributeMinMax BeaufortNumber11, 測量 64.0 and MilesPerHour and 測量 72.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 393-393	speedScaleAttributeMinMax BeaufortNumber2, 測量 4.0 and MilesPerHour and 測量 7.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 403-403	speedScaleAttributeMinMax BeaufortNumber3, 測量 8.0 and MilesPerHour and 測量 12.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 412-412	speedScaleAttributeMinMax BeaufortNumber4, 測量 13.0 and MilesPerHour and 測量 18.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 421-421	speedScaleAttributeMinMax BeaufortNumber5, 測量 19.0 and MilesPerHour and 測量 24.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 430-430	speedScaleAttributeMinMax BeaufortNumber6, 測量 25.0 and MilesPerHour and 測量 31.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 439-439	speedScaleAttributeMinMax BeaufortNumber7, 測量 32.0 and MilesPerHour and 測量 38.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 448-448	speedScaleAttributeMinMax BeaufortNumber8, 測量 39.0 and MilesPerHour and 測量 46.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 457-457	speedScaleAttributeMinMax BeaufortNumber9, 測量 47.0 and MilesPerHour and 測量 54.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2151-2151	speedScaleAttributeMinMax EF0, 測量 65.0 and MilesPerHour and 測量 85.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2159-2159	speedScaleAttributeMinMax EF1, 測量 86.0 and MilesPerHour and 測量 110.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2167-2167	speedScaleAttributeMinMax EF2, 測量 111.0 and MilesPerHour and 測量 135.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2175-2175	speedScaleAttributeMinMax EF3, 測量 136.0 and MilesPerHour and 測量 165.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2183-2183	speedScaleAttributeMinMax EF4, 測量 166.0 and MilesPerHour and 測量 200.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2396-2396	speedScaleAttributeMinMax SSHWS1, 測量 74.0 and MilesPerHour and 測量 95.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2408-2408	speedScaleAttributeMinMax SSHWS2, 測量 96.0 and MilesPerHour and 測量 110.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2420-2420	speedScaleAttributeMinMax SSHWS3, 測量 111.0 and MilesPerHour and 測量 129.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2432-2432	speedScaleAttributeMinMax SSHWS4, 測量 130.0 and MilesPerHour and 測量 156.0 and MilesPerHour

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

KB Term:			Term intersection

English Word: