Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Piston
Piston

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


(documentation Piston EnglishLanguage "A piston is a component of reciprocating engines, reciprocating pumps, gas compressors and pneumatic cylinders, among other similar mechanisms. It is the moving component that is contained by a cylinder and is made gas- tight by piston rings. In an engine, its purpose is to transfer force from expanding gas in the cylinder to the crankshaft via a piston rod and/ or connecting rod. In a pump, the function is reversed and force is transferred from the crankshaft to the piston for the purpose of compressing or ejecting the fluid in the cylinder. In some engines, the piston also acts as a valve by covering and uncovering ports in the cylinder wall.") Cars.kif 293-303
(externalImage Piston "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d4/ Piston.gif/ 73px-Piston.gif") Cars.kif 305-305 externalImage Piston and "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d4/ Piston.gif/ 73px-Piston.gif"
(subclass Piston Artifact) Cars.kif 291-291 subclass Piston and Artifact
(typicalPart Piston EngineCylinder) Cars.kif 344-344 typicalPart Piston and EngineCylinder
(typicallyContainsPart Piston EngineCylinder) Cars.kif 345-345 typicallyContainsPart Piston and EngineCylinder

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


(termFormat EnglishLanguage Piston "piston") Cars.kif 292-292 termFormat EnglishLanguage, Piston and "piston"
(typicalPart PistonRing Piston) Cars.kif 3780-3780 typicalPart PistonRing and Piston
(typicallyContainsPart PistonRing Piston) Cars.kif 3781-3781 typicallyContainsPart PistonRing and Piston

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


(=>
    (and
        (instance ?E EngineCylinder)
        (instance ?C Crankcase)
        (instance ?P Piston)
        (instance ?T TwoStrokeTransfer)
        (holdsDuring ?T
            (located ?P ?E))
        (equal ?E
            (HoleHostFn ?C))
        (eventLocated ?T ?E))
    (hasPurpose ?P
        (holdsDuring ?T
            (partiallyFills ?P ?C))))
Cars.kif 509-521
(=>
    (and
        (instance ?E EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (instance ?P Piston)
        (instance ?T TwoStrokeIntake)
        (holdsDuring ?T
            (located ?P ?E))
        (equal ?E
            (HoleHostFn ?I))
        (eventLocated ?T ?E))
    (hasPurpose ?P
        (holdsDuring ?T
            (partiallyFills ?P ?I))))
Cars.kif 463-475
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?P Piston)
        (part ?P ?E)
        (patient ?EC ?P)
        (eventLocated ?EC ?E)
        (pistonStroke ?E ?LM))
    (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 ?D)
                (greaterThan ?D ?LM)))))
Cars.kif 1932-1951

consequent
-------------------------


(=>
    (instance ?ECR EngineConnectingRod)
    (hasPurpose ?ECR
        (exists (?P ?C)
            (and
                (instance ?P Piston)
                (instance ?C Crankshaft)
                (connectedEngineeringComponents ?P ?ECR)
                (connectedEngineeringComponents ?C ?ECR)))))
Cars.kif 1958-1966
(=>
    (instance ?HC HydraulicCylinder)
    (exists (?HH ?C ?P)
        (and
            (instance ?C Hole)
            (equal ?HH
                (HoleHostFn ?C))
            (attribute ?C Cylinder)
            (instance ?P Piston)
            (part ?P ?HC)
            (part ?HH ?HC))))
Cars.kif 1601-1610


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners