EngineCycle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - EngineCycle

EngineCycle(engine cycle)

appearance as argument number 1

(documentation EngineCycle EnglishLanguage "A complete cycle of Engine phases, including a repeat of the first phase. In a FourStrokeEngine this means intake, compression, combustion, exhaust and back to intake.")	Cars.kif 81-83
(subclass EngineCycle Motion)	Cars.kif 80-80	Engine cycle is a subclass of motion

appearance as argument number 2

(subclass FourStrokeEngineCycle EngineCycle)	Cars.kif 134-134	Four stroke engine cycle is a subclass of engine cycle
(subclass TwoStrokeEngineCycle EngineCycle)	Cars.kif 251-251	Two stroke engine cycle is a subclass of engine cycle
(termFormat EnglishLanguage EngineCycle "engine cycle")	domainEnglishFormat.kif 64845-64845	Two stroke engine cycle is a subclass of engine cycle

antecedent

(=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (eventLocated ?EC ?E) (instance ?U UnitOfVolume) (holdsDuring (WhenFn ?EC) (maxCylinderVolume ?E (MeasureFn ?V1 ?U)))) (not (exists (?V2 ?T) (and (during ?T (WhenFn ?EC)) (holdsDuring ?T (measure ?CC (MeasureFn ?V2 ?U))) (greaterThan ?V2 ?V1)))))	Cars.kif 1882-1901	If a process is an instance of engine cycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at the object and an entity is an instance of unit of volume and the maximum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the other real number is greater than the real number
(=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (eventLocated ?EC ?E) (instance ?U UnitOfVolume) (holdsDuring (WhenFn ?EC) (minCylinderVolume ?E (MeasureFn ?V1 ?U)))) (not (exists (?V2 ?T) (and (during ?T (WhenFn ?EC)) (holdsDuring ?T (measure ?CC (MeasureFn ?V2 ?U))) (greaterThan ?V1 ?V2)))))	Cars.kif 1852-1871	If a process is an instance of engine cycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at the object and an entity is an instance of unit of volume and the minimum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the real number is greater than the other real number
(=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?P Piston) (instance ?U UnitOfLength) (part ?P ?E) (patient ?EC ?P) (eventLocated ?EC ?E) (pistonStroke ?E (MeasureFn ?LM ?U))) (not (exists (?T1 ?T2 ?L1 ?L2 ?D) (and (during ?T1 (WhenFn ?EC)) (during ?T2 (WhenFn ?EC)) (holdsDuring ?T1 (located ?P ?L1)) (holdsDuring ?T2 (located ?P ?L2)) (distance ?L1 ?L2 (MeasureFn ?D ?U)) (greaterThan ?D ?LM)))))	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