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 1582-1585
(roomTempState HydraulicFluid Liquid) Mid-level-ontology.kif 31615-31615 roomTempState HydraulicFluid and 液體
(subclass HydraulicFluid Mixture) Cars.kif 1580-1580 子類 HydraulicFluid and 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 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