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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HydraulicFluid
HydraulicFluid(hydraulic fluid)

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


(documentation HydraulicFluid EnglishLanguage "A Substance that is virtuall incompressible. It is intended to be used in its Liquid state. It can be thought of as a liquid gear, creating a mechanical advantage in a hydraulic system. Small amounts of fluid can be easily and rapidly added to a chamber that actuates a piston which can generate great force.") Cars.kif 1582-1585
(subclass HydraulicFluid Mixture) Cars.kif 1580-1580 Hydraulic fluid is a subclass of mixture

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


(termFormat EnglishLanguage HydraulicFluid "hydraulic fluid") Cars.kif 1581-1581

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


(=>
    (instance ?H HydraulicFluid)
    (hasPurpose ?H
        (exists (?P)
            (and
                (instance ?P Process)
                (instrument ?P ?H)
                (holdsDuring
                    (WhenFn ?P)
                    (attribute ?H Liquid))))))
Cars.kif 1587-1596


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