RotationFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RotationFn

RotationFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2084-2085
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2086-2086	O argumento numero 1 de RotationFn e' uma instancia de Rotating
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2087-2087	O argumento numero 2 de RotationFn e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2082-2082	RotationFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2088-2088	O contra-dominio de RotationFn e' uma instancia de Funcao de Quantidade

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2568-2586	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 2097-2116	Entidade e' uma instancia de Shaft Entidade e' uma instancia de Shaft Entidade e' igual a Entidade Componente de Engenharia e' uma instancia de Rotating Entidade e' um patient de Componente de Engenharia Componente de Engenharia e' uma instancia de Rotating Entidade e' um patient de Componente de Engenharia Componente de Engenharia causa Componente de Engenharia Componente de Engenharia e' uma instancia de CVJoint Componente de Engenharia e' conectado a Componente de Engenharia Componente de Engenharia e' conectado a Componente de Engenharia Entidade e' igual a RotationFn Entidade and Entidade vale durante tempo de existencia de Componente de Engenharia Entidade e' igual a RotationFn Entidade and Entidade vale durante tempo de existencia de Componente de Engenharia

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2097-2116	Entidade e' uma instancia de Shaft Entidade e' uma instancia de Shaft Entidade e' igual a Entidade Componente de Engenharia e' uma instancia de Rotating Entidade e' um patient de Componente de Engenharia Componente de Engenharia e' uma instancia de Rotating Entidade e' um patient de Componente de Engenharia Componente de Engenharia causa Componente de Engenharia Componente de Engenharia e' uma instancia de CVJoint Componente de Engenharia e' conectado a Componente de Engenharia Componente de Engenharia e' conectado a Componente de Engenharia Entidade e' igual a RotationFn Entidade and Entidade vale durante tempo de existencia de Componente de Engenharia Entidade e' igual a RotationFn Entidade and Entidade vale durante tempo de existencia de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2329-2363	Fisico e' uma instancia de AutomobileTransmission Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Crankshaft Entidade e' uma instancia de Driveshaft Entidade e' uma instancia de Automobile Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' conectado a Fisico Entidade e' conectado a Fisico Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade causa Entidade Entidade causa Entidade Entidade e' igual a Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade Entidade e' igual a Entidade

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