governorSpeed - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - governorSpeed

governorSpeed

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2857-2860
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2863-2863	O argumento numero 1 de governorSpeed e' uma instancia de SpeedGovernor
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2864-2864	O argumento numero 2 de governorSpeed e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2865-2865	governorSpeed e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2861-2861
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65839-65839

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2867-2885	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 2913-2931	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 2940-2956	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 2892-2904	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

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

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