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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HydraulicFluid

Sigma KEE - HydraulicFluid
HydraulicFluid

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 1587-1590
(roomTempState HydraulicFluid Liquid) Mid-level-ontology.kif 31647-31647
(subclass HydraulicFluid Mixture) Cars.kif 1585-1585

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


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

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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