TreeView Knowledge Base Browser - Piston

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Piston

Piston

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 293-303
No TPTP formula. May not be expressible in strict first order.	Cars.kif 305-305
No TPTP formula. May not be expressible in strict first order.	Cars.kif 291-291	Piston e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Cars.kif 344-344	typicalPart Piston and EngineCylinder
No TPTP formula. May not be expressible in strict first order.	Cars.kif 345-345	typicallyContainsPart Piston and EngineCylinder

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 292-292
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3808-3808	typicalPart PistonRing and Piston
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3809-3809	typicallyContainsPart PistonRing and Piston

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 509-521	Objeto e' uma instancia de EngineCylinder Buraco e' uma instancia de Crankcase Fisico e' uma instancia de Piston Processo e' uma instancia de TwoStrokeTransfer Fisico e' situado em Objeto vale durante Processo Objeto e' igual a o dono do buraco Buraco eventLocated Processo and Objeto Fisico tem por fim Fisico completa partialmente Buraco vale durante Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	Objeto e' uma instancia de EngineCylinder Buraco e' uma instancia de InternalCombustionChamber Fisico e' uma instancia de Piston Processo e' uma instancia de TwoStrokeIntake Fisico e' situado em Objeto vale durante Processo Objeto e' igual a o dono do buraco Buraco eventLocated Processo and Objeto Fisico tem por fim Fisico completa partialmente Buraco vale durante Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1943-1965	Processo e' uma instancia de EngineCycle Engine e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de Piston Unidade de Medida e' uma instancia de UnitOfLength Objeto e' uma &parte de Engine Objeto e' um patient de Processo eventLocated Processo and Engine pistonStroke Engine and Numero Real Unidade de Medida(s) Intervalo Temporal Intervalo Temporal, Fisico, Fisico and Numero Real Intervalo Temporal acontece durante tempo de existencia de Processo Intervalo Temporal acontece durante tempo de existencia de Processo Objeto e' situado em Fisico vale durante Intervalo Temporal Objeto e' situado em Fisico vale durante Intervalo Temporal a distancia entre Fisico e Fisico e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1972-1980	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 1606-1615	Objeto e' uma instancia de HydraulicCylinder Objeto Buraco and Objeto Buraco e' uma instancia de Buraco Objeto e' igual a o dono do buraco Buraco Cylinder e' um atributo de Buraco Objeto e' uma instancia de Piston Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto

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