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	O argumento numero 1 de speedScaleAttributeMinMax e' uma instancia de SpeedScaleAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2126-2126	O argumento numero 2 de speedScaleAttributeMinMax e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2127-2127	O argumento numero 3 de speedScaleAttributeMinMax e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2128-2128	speedScaleAttributeMinMax e' uma instancia de Predicado Ternario

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	Processo e' uma instancia de Hurricane SpeedScaleAttribute e' uma instancia de SSHWSAttribute eventLocated Processo and Objeto Agente Cognitivo acredita que Processo tem um atributo de SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Numero Real Numero Real e' maior ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Agente Cognitivo acredita que Numero Real Unidade de Medida(s) e' igual a Mean1MinuteWindSpeedFn Objeto and tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2096-2114	Processo e' uma instancia de Tornado SpeedScaleAttribute e' uma instancia de EFScaleAttribute eventLocated Processo and Objeto Agente Cognitivo acredita que Processo tem um atributo de SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, Numero Real MilesPerHour(s) and Numero Real MilesPerHour(s) Numero Real Numero Real e' maior ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Agente Cognitivo acredita que Numero Real MilesPerHour(s) e' igual a ThreeSecondGustSpeedFn Objeto and tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Weather.kif 349-366	Processo e' uma instancia de Wind SpeedScaleAttribute e' uma instancia de BeaufortNumberAttribute eventLocated Processo and Objeto Agente Cognitivo acredita que Processo tem um atributo de SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Numero Real Numero Real e' maior ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Agente Cognitivo acredita que surfaceWindSpeed Objeto and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2130-2143	speedScaleAttributeMinMax SpeedScaleAttribute, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Fisico Numero Real Fisico e' uma instancia de Movimento Fisico tem um atributo de SpeedScaleAttribute a medida de Fisico e' Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real Numero Real e' menor ou igual a Numero Real

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 2151-2151	speedScaleAttributeMinMax EF0, 65.0 MilesPerHour(s) and 85.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2159-2159	speedScaleAttributeMinMax EF1, 86.0 MilesPerHour(s) and 110.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2167-2167	speedScaleAttributeMinMax EF2, 111.0 MilesPerHour(s) and 135.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2175-2175	speedScaleAttributeMinMax EF3, 136.0 MilesPerHour(s) and 165.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2183-2183	speedScaleAttributeMinMax EF4, 166.0 MilesPerHour(s) and 200.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2396-2396	speedScaleAttributeMinMax SSHWS1, 74.0 MilesPerHour(s) and 95.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2408-2408	speedScaleAttributeMinMax SSHWS2, 96.0 MilesPerHour(s) and 110.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2420-2420	speedScaleAttributeMinMax SSHWS3, 111.0 MilesPerHour(s) and 129.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2432-2432	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: