Crankshaft - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Crankshaft

Crankshaft

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 336-337
No TPTP formula. May not be expressible in strict first order.	Cars.kif 335-335	Crankshaft e' uma sub-classe de Shaft
No TPTP formula. May not be expressible in strict first order.	Cars.kif 341-341	typicalPart Crankshaft and Crankcase
No TPTP formula. May not be expressible in strict first order.	Cars.kif 338-338	typicalPart Crankshaft and IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 342-342	typicallyContainsPart Crankshaft and Crankcase
No TPTP formula. May not be expressible in strict first order.	Cars.kif 339-339	typicallyContainsPart Crankshaft and IntermittentCombustionEngine

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64716-64716

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 349-361	Objeto e' uma instancia de Crankshaft Objeto e' uma instancia de IntermittentCombustionEngine Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Explosion Entidade e' uma instancia de Rotating Objeto e' um patient de Entidade eventLocated Entidade and Objeto Entidade causa Entidade

consequent

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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2198-2213	Processo e' uma instancia de EngineCranking Objeto Objeto, Objeto, Processo, Objeto and Processo Objeto e' uma instancia de ElectricalMotor Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de Shaft Objeto e' uma instancia de Crankshaft Objeto e' uma &parte de Objeto Processo e' um sub-processo de Processo Processo e' uma instancia de Rotating Objeto e' um patient de Processo Processo e' uma instancia de Rotating Objeto e' um patient de Processo Objeto e' uma &parte de Objeto Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1955-1963	Fisico e' uma instancia de EngineConnectingRod Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Piston Entidade e' uma instancia de Crankshaft Entidade e' conectado a Fisico Entidade e' conectado a Fisico
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2694-2711	Fisico e' uma instancia de FanBelt Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Pulley Entidade e' uma instancia de Pulley Entidade e' igual a Entidade Entidade e' uma instancia de Crankshaft Entidade e' uma instancia de Automobile Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Entidade e' conectado a Entidade Entidade e' conectado a Fisico Fisico e' conectado a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4573-4589	Fisico e' uma instancia de FourWheelDriveVehicle Fisico tem por fim Entidade Entidade e' uma &parte de Fisico Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Engine Entidade e' uma &parte de Fisico Entidade e' uma instancia de Crankshaft Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4596-4628	Fisico e' uma instancia de TwoWheelDriveVehicle Fisico tem por fim Entidade Entidade Entidade e' uma &parte de Fisico Entidade e' uma &parte de Fisico Entidade e' igual a Entidade Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Engine Entidade e' uma &parte de Fisico Entidade e' uma instancia de Crankshaft Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade causa Entidade Entidade e' um patient de Entidade Entidade causa Entidade Entidade Entidade Entidade e' igual a Entidade Entidade e' igual a Entidade Entidade e' uma &parte de Fisico Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade causa 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