Piston - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Piston

Piston(piston)

piston, plunger

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 is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 344-344	A piston is typically a part of a engine cylinder
No TPTP formula. May not be expressible in strict first order.	Cars.kif 345-345	A engine cylinder typically has a part piston

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 3869-3869	A piston ring is typically a part of a piston
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3870-3870	A piston typically has a part piston ring

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 509-521	If an object is an instance of engine cylinder and a hole is an instance of crankcase and a physical is an instance of piston and a process is an instance of two stroke transfer and the physical is located at the object holds during the process and the object is equal to the host of the hole the hole and the process is located at the object, then the physical has the purpose the physical partially fills the hole holds during the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	If an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and a physical is an instance of piston and a process is an instance of two stroke intake and the physical is located at the object holds during the process and the object is equal to the host of the hole the hole and the process is located at the object, then the physical has the purpose the physical partially fills the hole holds during the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1927-1949	If a process is an instance of engine cycle and an engine is an instance of internal combustion engine and an object is an instance of piston and an unit of measure is an instance of unit of length and the object is a part of the engine and the object is a patient of the process and the process is located at the engine and the maximum distance that the pistons of engine the engine travel is a real number the unit of measure(s), then there don't exist a time interval, another time interval,, , a physical,, , another physical and another real number such that the time interval takes place during the time of existence of the process and the other time interval takes place during the time of existence of the process and the object is located at the physical holds during the time interval and the object is located at the other physical holds during the other time interval and the distance between the physical and the other physical is the other real number the unit of measure(s) and the other real number is greater than the real number

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1956-1964	If a physical is an instance of engine connecting rod, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of piston and the other entity is an instance of crankshaft and the entity is connected to the physical and the other entity is connected to the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1612-1622	If an object is an instance of hydraulic cylinder, then there exist another object, a hole and a third object such that the hole is an instance of hole and the other object is equal to the host of the hole the hole and the hole is cylinder and the third object is an instance of piston and the third object is a part of the object and the other object is a part of the object

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