Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - FourStrokeEngineCycle
FourStrokeEngineCycle(four stroke engine cycle)

appearance as argument number 1
-------------------------


(subclass FourStrokeEngineCycle EngineCycle) Cars.kif 87-87 Four stroke engine cycle is a subclass of engine cycle
(documentation FourStrokeEngineCycle EnglishLanguage "The Processes that occur in a FourStrokeEngine. Such a cycle necessarily includes each instance of one of the four strokes, in sequence, followed by another intake stroke.") Cars.kif 89-91 Four stroke engine cycle is a subclass of engine cycle

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage FourStrokeEngineCycle "four stroke engine cycle") Cars.kif 88-88

antecedent
-------------------------


(=>
    (instance ?F FourStrokeEngineCycle)
    (exists (?E)
        (and
            (instance ?E FourStrokeEngine)
            (eventLocated ?F ?E))))		 Cars.kif 93-98 If X is an instance of four stroke engine cycle, then there exists Y such that Y is an instance of four stroke engine and X is located at Y
(=>
    (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 100-117 If X is an instance of four stroke engine cycle, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of four stroke intake (3) Z is an instance of four stroke compression (4) W is an instance of four stroke combustion (5) V is an instance of four stroke exhaust (6) U is an instance of four stroke intake (7) Y is a subprocess of X (8) Z is a subprocess of X (9) W is a subprocess of X (10) V is a subprocess of X (11) U is a subprocess of X (12) Y meets Z (13) Z meets W (14) W meets V (15) V meets U


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners