consequent

(=>     (instance ?FSE FourStrokeEngine)     (hasPurpose ?FSE         (exists (?I ?CM ?CB ?E ?I2)             (and                 (instance ?I FourStrokeIntake)                 (instance ?CM FourStrokeCompression)                 (instance ?CB FourStrokeCombustion)                 (instance ?E FourStrokeExhaust)                 (instance ?I2 FourStrokeIntake)                 (eventLocated ?I ?FSE)                 (eventLocated ?CM ?FSE)                 (eventLocated ?CB ?FSE)                 (eventLocated ?E ?FSE)                 (eventLocated ?I2 ?FSE)                 (meetsTemporally ?I ?CM)                 (meetsTemporally ?CM ?CB)                 (meetsTemporally ?CB ?E)                 (meetsTemporally ?E ?I2)))))	Cars.kif 114-132	If a physical is an instance of four stroke engine, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the entity2 such that the entity is an instance of four stroke intake and the other entity is an instance of four stroke compression and the third entity is an instance of four stroke combustion and the fourth entity is an instance of four stroke exhaust and the entity2 is an instance of four stroke intake and the entity is located at the physical and the other entity is located at the physical and the third entity is located at the physical and the fourth entity is located at the physical and the entity2 is located at the physical and the entity meets the other entity and the other entity meets the third entity and the third entity meets the fourth entity and the fourth entity meets the entity2
(=>     (instance ?FSE FourStrokeEngineCycle)     (exists (?I ?CM ?CB ?E ?I2)         (and             (instance ?I FourStrokeIntake)             (instance ?CM FourStrokeCompression)             (instance ?CB FourStrokeCombustion)             (instance ?E FourStrokeExhaust)             (instance ?I2 FourStrokeIntake)             (subProcess ?I ?FSE)             (subProcess ?CM ?FSE)             (subProcess ?CB ?FSE)             (subProcess ?E ?FSE)             (subProcess ?I2 ?FSE)             (meetsTemporally ?I ?CM)             (meetsTemporally ?CM ?CB)             (meetsTemporally ?CB ?E)             (meetsTemporally ?E ?I2))))	Cars.kif 147-164	If a process is an instance of four stroke engine cycle, then there exist a time interval, another time interval,, , a third time interval,, , a fourth time interval and the time interval2 such that the time interval is an instance of four stroke intake and the other time interval is an instance of four stroke compression and the third time interval is an instance of four stroke combustion and the fourth time interval is an instance of four stroke exhaust and the time interval2 is an instance of four stroke intake and the time interval is a subprocess of the process and the other time interval is a subprocess of the process and the third time interval is a subprocess of the process and the fourth time interval is a subprocess of the process and the time interval2 is a subprocess of the process and the time interval meets the other time interval and the other time interval meets the third time interval and the third time interval meets the fourth time interval and the fourth time interval meets the time interval2

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