pistonStroke - Sigma Knowledge base Browser

appearance as argument number 1

(documentation pistonStroke EnglishLanguage "The maximum distance that a piston travels during normal operation of the Engine.")	Cars.kif 1923-1924
(domain pistonStroke 1 Engine)	Cars.kif 1919-1919	The number 1 argument of piston stroke is an instance of engine
(domain pistonStroke 2 LengthMeasure)	Cars.kif 1920-1920	The number 2 argument of piston stroke is an instance of length measure
(instance pistonStroke BinaryPredicate)	Cars.kif 1918-1918	piston stroke is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage pistonStroke "the maximum distance that the pistons of engine %1 travel is %n %2")	Cars.kif 1921-1922
(termFormat EnglishLanguage pistonStroke "piston stroke")	domainEnglishFormat.kif 65956-65956

antecedent

(=>
    (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 1926-1948

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

KB Term:			Term intersection

English Word: