TreeView Knowledge Base Browser - pistonStroke

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 1946-1947
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1942-1942	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 1943-1943	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 1941-1941	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 1944-1945
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65900-65900

antecedent

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

Cars.kif 1949-1971

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 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