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 1924-1925
(domain pistonStroke 1 Engine)	Cars.kif 1920-1920	Le nombre 1 argument de pistonStroke est une instance de Engine
(domain pistonStroke 2 LengthMeasure)	Cars.kif 1921-1921	Le nombre 2 argument de pistonStroke est une instance de mesure de longueur
(instance pistonStroke BinaryPredicate)	Cars.kif 1919-1919	pistonStroke est une instance de pr�dicat binaire

appearance as argument number 2

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

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 1927-1949

Processus est une instance de EngineCycle Engine est une instance de InternalCombustionEngine objet est une instance de Piston unit� de mesure est une instance de UnitOfLength objet est une partie de Engine objet est un patient de processus eventLocated processus and Engine pistonStroke Engine and nombre r�el unit� de mesure(s)
interval temporel interval temporel, physique, physique and nombre r�el interval temporel prend place pendant temps d'existence de processus interval temporel prend place pendant temps d'existence de processus objet est situ� � physique pendant interval temporel objet est situ� � physique pendant interval temporel la distance entre physique et physique est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el

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: