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


KB Term:  Term intersection
English Word: 

Sigma KEE - TwoStrokeEngineCycle
TwoStrokeEngineCycle(two stroke engine cycle)

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


(subclass TwoStrokeEngineCycle EngineCycle) Cars.kif 204-204 Two stroke engine cycle is a subclass of engine cycle
(documentation TwoStrokeEngineCycle EnglishLanguage "The Processes that occur in a TwoStrokeEngine. Such a cycle necessarily includes each instance of one of the strokes, in sequence, followed by another intake stroke.") Cars.kif 206-208 Two stroke engine cycle is a subclass of engine cycle

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


(termFormat EnglishLanguage TwoStrokeEngineCycle "two stroke engine cycle") Cars.kif 205-205

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


(=>
    (instance ?F TwoStrokeEngineCycle)
    (exists (?E)
        (and
            (instance ?E TwoStrokeEngine)
            (eventLocated ?F ?E))))		 Cars.kif 210-215 If X is an instance of two stroke engine cycle, then there exists Y such that Y is an instance of two stroke engine and X is located at Y
(=>
    (instance ?T TwoStrokeEngineCycle)
    (exists (?I ?C ?TT ?I2)
        (and
            (instance ?I TwoStrokeIntake)
            (instance ?C TwoStrokeCompression)
            (instance ?TT TwoStrokeTransfer)
            (instance ?I2 TwoStrokeIntake)
            (subProcess ?I ?T)
            (subProcess ?C ?T)
            (subProcess ?TT ?T)
            (subProcess ?I2 ?T)
            (meetsTemporally ?I ?C)
            (meetsTemporally ?C ?TT)
            (meetsTemporally ?TT ?I2))))		 Cars.kif 217-231 If X is an instance of two stroke engine cycle, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of two stroke intake (3) Z is an instance of two stroke compression (4) W is an instance of two stroke transfer (5) V is an instance of two stroke intake (6) Y is a subprocess of X (7) Z is a subprocess of X (8) W is a subprocess of X (9) V is a subprocess of X (10) Y meets Z (11) Z meets W (12) W meets V


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