TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1696-1697
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1694-1695
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1700-1700	MilesPerHour e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1699-1699	MilesPerHour e' uma instancia de Funcao de Quantidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1698-1698	MilesPerHour se chama nome "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 1702-1708	Funcao de Quantidade e' igual a Numero Real MilesPerHour(s) Funcao de Quantidade e' igual a Numero Real Mile(s) por 1 HourDuration(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2585-2603	engineIdleSpeed InternalCombustionEngine and RotationFn Numero Real MilesPerHour(s) and Duracao Temporal Objeto e' uma instancia de Automobile Processo e' uma instancia de GasPedal Processo e' uma instancia de Pushing Processo termina em Objeto InternalCombustionEngine e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Crankshaft Objeto e' uma &parte de InternalCombustionEngine a medida de Objeto e' RotationFn Entidade MilesPerHour(s) and Duracao Temporal vale durante tempo de existencia de Processo o argumento Entidade e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2884-2902	governorSpeed SpeedGovernor and Funcao de Quantidade Numero Real MilesPerHour(s) e' igual a Medida de Comprimento por Duracao Temporal Numero Real MilesPerHour(s) e' igual a Medida de Comprimento por Duracao Temporal Numero Real e' maior que Numero Real Numero RealPROB e' igual a a probabilidade de a medida de SpeedGovernor e' Numero Real MilesPerHour(s) Numero RealPROB e' igual a a probabilidade de a medida de SpeedGovernor e' Numero Real MilesPerHour(s) Numero RealPROB e' maior que Numero RealPROB
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2930-2948	Componente de Engenharia e' uma instancia de EngineGovernor Componente de Engenharia e' uma instancia de Engine Componente de Engenharia e' conectado a Componente de Engenharia governorSpeed Componente de Engenharia and Numero Real MilesPerHour(s) Componente de Engenharia tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Aparelho Entidade e' uma &parte de Componente de Engenharia Entidade e' uma instancia de Rotating a medida de Entidade e' Entidade MilesPerHour(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2957-2973	Componente de Engenharia e' uma instancia de EngineGovernor Componente de Engenharia e' uma instancia de Vehicle Componente de Engenharia e' conectado a Componente de Engenharia governorSpeed SpeedGovernor and Numero Real MilesPerHour(s) Componente de Engenharia tem por fim Entidade Entidade Entidade e' uma instancia de Translocation a medida de Componente de Engenharia e' Entidade MilesPerHour(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2909-2921	Componente de Engenharia e' uma instancia de SpeedGovernor governorSpeed Componente de Engenharia and Numero Real MilesPerHour(s) Componente de Engenharia e' conectado a Componente de Engenharia Componente de Engenharia tem por fim Numero RealP2 a medida de Componente de Engenharia e' Numero RealP2 MilesPerHour(s) Numero RealP2 e' maior que Numero Real
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.	Merge.kif 11264-11272	Fisico e' uma instancia de Wind Fisico e' situado em Objeto Intervalo Temporal e' igual a tempo de existencia de Fisico surfaceWindSpeed Objeto and Numero Real MilesPerHour(s) vale durante Intervalo Temporal Numero Real e' maior que 20.0

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1252-1267	Processo e' uma instancia de Braking Entidade e' um patient de Processo Numero Real MilesPerHour(s) e' igual a AccelerationFn Entidade, Entidade, Entidade and Entidade vale durante imediatemente antes de tempo de existencia de Processo Numero Real MilesPerHour(s) e' igual a AccelerationFn Entidade, Entidade, Entidade and Entidade vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2930-2948	Componente de Engenharia e' uma instancia de EngineGovernor Componente de Engenharia e' uma instancia de Engine Componente de Engenharia e' conectado a Componente de Engenharia governorSpeed Componente de Engenharia and Numero Real MilesPerHour(s) Componente de Engenharia tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Aparelho Entidade e' uma &parte de Componente de Engenharia Entidade e' uma instancia de Rotating a medida de Entidade e' Entidade MilesPerHour(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2957-2973	Componente de Engenharia e' uma instancia de EngineGovernor Componente de Engenharia e' uma instancia de Vehicle Componente de Engenharia e' conectado a Componente de Engenharia governorSpeed SpeedGovernor and Numero Real MilesPerHour(s) Componente de Engenharia tem por fim Entidade Entidade Entidade e' uma instancia de Translocation a medida de Componente de Engenharia e' Entidade MilesPerHour(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2909-2921	Componente de Engenharia e' uma instancia de SpeedGovernor governorSpeed Componente de Engenharia and Numero Real MilesPerHour(s) Componente de Engenharia e' conectado a Componente de Engenharia Componente de Engenharia tem por fim Numero RealP2 a medida de Componente de Engenharia e' Numero RealP2 MilesPerHour(s) Numero RealP2 e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2443-2457	Processo e' uma instancia de Hurricane Entidade e' uma instancia de SSHWS5 eventLocated Processo and Objeto Agente Cognitivo acredita que Processo tem um atributo de Entidade Numero Real Numero Real e' maior que 157.0 Agente Cognitivo acredita que Numero Real MilesPerHour(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 2191-2205	Processo e' uma instancia de Tornado Entidade e' uma instancia de EF5 eventLocated Processo and Objeto Agente Cognitivo acredita que Processo tem um atributo de Entidade Numero Real Numero Real e' maior que 200.0 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 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 484-496	Processo e' uma instancia de Wind Entidade e' uma instancia de BeaufortNumber12 eventLocated Processo and Objeto Agente Cognitivo acredita que Processo tem um atributo de Entidade Numero Real Numero Real e' maior que 73.0 Agente Cognitivo acredita que surfaceWindSpeed Objeto and Numero Real MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 740-751	Entidade e' uma instancia de Hurricane Processo Area Geografica and Numero Real Processo e' uma instancia de TropicalCyclone Area Geografica e' uma instancia de Area Geografica eventLocated Processo and Area Geografica Numero Real MilesPerHour(s) e' igual a Mean1MinuteWindSpeedFn Area Geografica and tempo de existencia de Processo Numero Real e' maior ou igual a 74.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 774-785	Entidade e' uma instancia de Typhoon EntidadeC Area Geografica and Numero Real EntidadeC e' uma instancia de TropicalCyclone Area Geografica e' uma instancia de Area Geografica eventLocated EntidadeC and Area Geografica Numero Real MilesPerHour(s) e' igual a Mean10MinutesWindSpeedFn Area Geografica and tempo de existencia de EntidadeC Numero Real e' maior ou igual a 64.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 681-691	Processo e' uma instancia de TropicalCyclone Area Geografica Numero Real Area Geografica e' uma instancia de Area Geografica eventLocated Processo and Area Geografica Numero Real MilesPerHour(s) e' igual a Mean1MinuteWindSpeedFn Area Geografica and tempo de existencia de Processo Numero Real e' maior ou igual a 44.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 660-670	Processo e' uma instancia de TropicalDepression Area Geografica Numero Real Area Geografica e' uma instancia de Area Geografica eventLocated Processo and Area Geografica Numero Real MilesPerHour(s) e' igual a Mean1MinuteWindSpeedFn Area Geografica and tempo de existencia de Processo Numero Real e' menor ou igual a 38.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 716-727	Processo e' uma instancia de TropicalStorm Area Geografica Numero Real Area Geografica e' uma instancia de Area Geografica eventLocated Processo and Area Geografica Numero Real MilesPerHour(s) e' igual a Mean1MinuteWindSpeedFn Area Geografica and tempo de existencia de Processo Numero Real e' maior ou igual a 39.0 Numero Real e' menor ou igual a 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 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)

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: