TreeView Knowledge Base Browser - Pushing

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Pushing

Pushing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17610-17611
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17612-17612	Pushing e' uma sub-classe de Movimento

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17635-17635	Pulling e' disjunto de Pushing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17613-17613

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2591-2609	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 693-707	Objeto e' uma instancia de BrakePedal Processo e' uma instancia de Pushing Objeto e' uma instancia de Vehicle Processo termina em Objeto eventLocated Processo and Objeto Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de WearingFrictionSurface Entidade e' uma instancia de Friction Entidade e' um instrumento para Entidade Processo causa Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1332-1355	Objeto e' uma instancia de Lever Processo e' uma instancia de Pushing Fisico e' uma instancia de Movimento Unidade de Medida e' uma instancia de UnitOfLength Processo termina em Objeto physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto Objeto e' situado em Processo1 vale durante imediatemente antes de tempo de existencia de Fisico Objeto e' situado em Processo2 vale durante imediatemente apos tempo de existencia de Fisico Objeto e' situado em Processo3 vale durante imediatemente antes de tempo de existencia de Fisico Objeto e' situado em Processo4 vale durante imediatemente apos tempo de existencia de Fisico a distancia entre Processo1 e Processo2 e' Numero Real Unidade de Medida(s) a distancia entre Processo3 e Processo4 e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17615-17633	Intervalo Temporal e' uma instancia de Pushing Intervalo Temporal tem como origem Objeto Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent e' situado em AutonomousAgentLOC vale durante o comeco de Intervalo Temporal Intervalo Temporal termina em Entidade Entidade Entidade and Entidade a distancia entre AutonomousAgentLOC e Entidade e' Entidade Entidade(s) a distancia entre AutonomousAgentLOC e Objeto e' Entidade Entidade(s) Entidade e' maior que Entidade vale durante imediatemente apos o comeco de Intervalo Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2573-2589	A medida de Objeto e' Funcao de Quantidade vale durante Posicao Temporal engineIdleSpeed InternalCombustionEngine and Funcao de Quantidade Objeto e' uma instancia de Automobile InternalCombustionEngine e' uma &parte de Objeto Objeto e' uma &parte de InternalCombustionEngine o argumento Entidade Entidade Entidade acontece durante Posicao Temporal Entidade e' uma instancia de Pushing Entidade termina em Entidade Entidade e' uma &parte de Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1567-1575	Fisico e' uma instancia de BrakeCaliper Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Pushing Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de WearingFrictionSurface
No TPTP formula. May not be expressible in strict first order.	Cars.kif 685-691	Fisico e' uma instancia de BrakePedal Fisico tem por fim Entidade Entidade e' uma instancia de Pushing Entidade termina em Fisico
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2546-2561	Fisico e' uma instancia de GasPedal Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Pushing Entidade e' uma instancia de Transferencia Entidade e' uma instancia de Fuel Entidade e' uma instancia de Engine Entidade e' uma instancia de Automobile Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade termina em Fisico Entidade termina em Entidade Entidade e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3852-3872	Fisico e' uma instancia de RockerArm Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Pushing Entidade e' uma instancia de Cam Entidade e' uma instancia de Pushing Entidade e' uma instancia de Valve Entidade e' uma instancia de Opening Entidade e' uma instancia de FourStrokeEngine Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' um instrumento para Entidade Entidade termina em Fisico Fisico e' um instrumento para Entidade Entidade termina em Entidade Entidade causa Entidade Entidade causa Entidade Entidade e' um patient de Entidade

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