pistonStroke - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - pistonStroke

pistonStroke

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1924-1925
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1920-1920	The number 1 argument of piston stroke is an instance of engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1921-1921	The number 2 argument of piston stroke is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1919-1919	piston stroke is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1922-1923
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65947-65947

antecedent

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

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