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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fluid

Sigma KEE - Fluid
Fluid

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


(documentation Fluid ChineseLanguage "Fluid 是一个没有固定形状 ObjectPhysicalState 属性,它因此是流动的或是随着容器的形状定型。") Merge.kif 17985-17986
(documentation Fluid EnglishLanguage "Fluid is the PhysicalState attribute of an Object that does not have a fixed shape and thus tends to flow or to conform to the shape of a container.") Merge.kif 17982-17984
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Shock_sink.jpg") pictureList.kif 6522-6522
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 6017-6017
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/b/b1/ FluidPhysics-Wake.jpg") pictureList.kif 6521-6521
(instance Fluid PhysicalState) Merge.kif 17981-17981

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


(subAttribute Gas Fluid) Merge.kif 18000-18000
(subAttribute Liquid Fluid) Merge.kif 17989-17989
(subAttribute Plasma Fluid) Merge.kif 18014-18014
(termFormat EnglishLanguage Fluid "fluid") domainEnglishFormat.kif 4482-4482

appearance as argument number 3
-------------------------


(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) Merge.kif 17964-17964

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


(=>
    (and
        (instance ?AS AutomobileShock)
        (instance ?C Compressing)
        (instance ?H Hole)
        (attribute ?F Fluid)
        (equal ?AS
            (HoleHostFn ?H))
        (contains ?AS ?F)
        (patient ?C ?AS))
    (exists (?T)
        (and
            (instance ?T Transfer)
            (objectTransferred ?T ?F)
            (path ?T ?H)
            (causes ?C ?T))))
Cars.kif 861-875
(=>
    (and
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F Water))
Mid-level-ontology.kif 5056-5061

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


(=>
    (and
        (instance ?FR FlowRegion)
        (located ?FLUID ?FR))
    (attribute ?FLUID Fluid))
Mid-level-ontology.kif 8780-8784
(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))
Transportation.kif 766-772
(=>
    (and
        (instance ?T Transportation)
        (instrument ?T ?D)
        (instance ?D Pump))
    (exists (?F)
        (and
            (instrument ?T ?F)
            (attribute ?F Fluid))))
Mid-level-ontology.kif 13135-13143
(=>
    (and
        (instance ?TANK FluidContainer)
        (contains ?TANK ?STUFF))
    (attribute ?STUFF Fluid))
Mid-level-ontology.kif 5007-5011
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))
Transportation.kif 2389-2391
(=>
    (instance ?STUFF Effluent)
    (attribute ?STUFF Fluid))
Geography.kif 2599-2601
(=>
    (instance ?T Tube)
    (hasPurpose ?T
        (exists (?P ?OBJ)
            (and
                (instance ?P Transfer)
                (path ?P ?T)
                (patient ?P ?OBJ)
                (attribute ?OBJ Fluid)))))
Mid-level-ontology.kif 1936-1944
(=>
    (instance ?V Valve)
    (hasPurpose ?V
        (exists (?FLUID ?PROC ?FLOW)
            (and
                (instance ?FLOW Transfer)
                (path ?FLOW ?V)
                (patient ?FLOW ?FLUID)
                (attribute ?FLUID Fluid)
                (instance ?PROC Process)
                (instrument ?PROC ?V)
                (patient ?PROC ?FLOW)))))
engineering.kif 908-919

statement
-------------------------


(domain flows 1
    (ExtensionFn Fluid))
Geography.kif 5090-5090
(domain flows 2
    (ExtensionFn Fluid))
Geography.kif 5091-5091
(subclass Atmosphere
    (ExtensionFn Fluid))
Weather.kif 11-11


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