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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fluid
Fluid

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


(documentation Fluid ChineseLanguage "Fluid 是一个没有固定形状 ObjectPhysicalState 属性,它因此是流动的或是随着容器的形状定型。") chinese_format.kif 3926-3927
(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 16227-16229
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Shock_sink.jpg") pictureList.kif 6522-6522 externalImage Fluid and "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Shock_sink.jpg"
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 6017-6017 externalImage Fluid and "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png"
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/b/b1/ FluidPhysics-Wake.jpg") pictureList.kif 6521-6521 externalImage Fluid and "http://upload.wikimedia.org/wikipedia/commons/b/b1/ FluidPhysics-Wake.jpg"
(instance Fluid PhysicalState) Merge.kif 16226-16226 instance Fluid and PhysicalState

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


(subAttribute Gas Fluid) Merge.kif 16241-16241 subAttribute Gas and Fluid
(subAttribute Liquid Fluid) Merge.kif 16232-16232 subAttribute Liquid and Fluid
(subAttribute Plasma Fluid) Merge.kif 16253-16253 subAttribute Plasma and Fluid
(termFormat ChineseLanguage Fluid "流体") domainEnglishFormat.kif 24295-24295 termFormat ChineseLanguage, Fluid and "流体"
(termFormat ChineseTraditionalLanguage Fluid "流體") domainEnglishFormat.kif 24294-24294 termFormat ChineseTraditionalLanguage, Fluid and "流體"
(termFormat EnglishLanguage Fluid "fluid") domainEnglishFormat.kif 24293-24293 termFormat EnglishLanguage, Fluid and "fluid"

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


(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) Merge.kif 16214-16214 exhaustiveAttribute PhysicalState, Solid, Fluid, Liquid, Gas and Plasma

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 5051-5056

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


(=>
    (and
        (instance ?FR FlowRegion)
        (located ?FLUID ?FR))
    (attribute ?FLUID Fluid))
Mid-level-ontology.kif 8782-8786
(=>
    (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 13134-13142
(=>
    (and
        (instance ?TANK FluidContainer)
        (contains ?TANK ?STUFF))
    (attribute ?STUFF Fluid))
Mid-level-ontology.kif 5002-5006
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))
Transportation.kif 2417-2419
(=>
    (instance ?STUFF Effluent)
    (attribute ?STUFF Fluid))
Geography.kif 2611-2613
(=>
    (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 1931-1939
(=>
    (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