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 17303-17305
(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 17302-17302

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


(subAttribute Gas Fluid) Merge.kif 17317-17317
(subAttribute Liquid Fluid) Merge.kif 17308-17308
(subAttribute Plasma Fluid) Merge.kif 17335-17335
(termFormat ChineseLanguage Fluid "流体") domainEnglishFormat.kif 24357-24357
(termFormat ChineseTraditionalLanguage Fluid "流體") domainEnglishFormat.kif 24356-24356
(termFormat EnglishLanguage Fluid "fluid") domainEnglishFormat.kif 24355-24355

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


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

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


(=>
    (and
        (instance ?A Antacid)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))
Mid-level-ontology.kif 9457-9479
(=>
    (and
        (instance ?A ProtonPumpInhibitor)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))
Mid-level-ontology.kif 9518-9540
(=>
    (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 871-885
(=>
    (and
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F Water))
Mid-level-ontology.kif 4484-4489

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


(=>
    (and
        (instance ?FR FlowRegion)
        (located ?FLUID ?FR))
    (attribute ?FLUID Fluid))
Mid-level-ontology.kif 8710-8714
(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))
Transportation.kif 777-783
(=>
    (and
        (instance ?T Transportation)
        (instrument ?T ?D)
        (instance ?D Pump))
    (exists (?F)
        (and
            (instrument ?T ?F)
            (attribute ?F Fluid))))
Mid-level-ontology.kif 14970-14978
(=>
    (and
        (instance ?TANK FluidContainer)
        (contains ?TANK ?STUFF))
    (attribute ?STUFF Fluid))
Mid-level-ontology.kif 4432-4436
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))
Transportation.kif 2427-2429
(=>
    (instance ?STEM PlantStem)
    (hasPurpose ?STEM
        (exists (?TRAN ?ROOT ?SUB)
            (and
                (instance ?TRAN Transfer)
                (instrument ?TRAN ?STEM)
                (instance ?ROOT PlantRoot)
                (origin ?TRAN ?ROOT)
                (instance ?SUB Substance)
                (attribute ?SUB Fluid)
                (objectTransferred ?TRAN ?SUB)))))
Mid-level-ontology.kif 9192-9203
(=>
    (instance ?STUFF Effluent)
    (attribute ?STUFF Fluid))
Geography.kif 2673-2675
(=>
    (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 1492-1500
(=>
    (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 912-923