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 是一个没有固定形状 Object 的 PhysicalState 属性，它因此是流动的或是随着容器的形状定型。") chinese_format.kif 3926-3927
(documentation Fluid EnglishLanguage "Fluid is an InternalAttribute 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 17724-17726
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Shock_sink.jpg") pictureList.kif 6520-6520
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 6015-6015
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/b/b1/ FluidPhysics_Wake.jpg") pictureList.kif 6519-6519
(instance Fluid InternalAttribute) Merge.kif 17723-17723 例 流體 and InternalAttribute

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


(subAttribute Gas Fluid) Merge.kif 17699-17699 子屬性 加油站 and 流體
(subAttribute Liquid Fluid) Merge.kif 17690-17690 子屬性 液體 and 流體
(subAttribute Plasma Fluid) Merge.kif 17717-17717 子屬性 等離子體 and 流體
(termFormat ChineseLanguage Fluid "流体") domainEnglishFormat.kif 24378-24378 子屬性 等離子體 and 流體
(termFormat ChineseTraditionalLanguage Fluid "流體") domainEnglishFormat.kif 24377-24377 子屬性 等離子體 and 流體
(termFormat EnglishLanguage Fluid "fluid") domainEnglishFormat.kif 24376-24376 子屬性 等離子體 and 流體

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 11188-11210
(=>
    (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 11249-11271
(=>
    (and
        (instance ?AS AutomobileShock)
        (instance ?C Compressing)
        (instance ?H HoleRegion)
        (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 FreshWater))		 Mid-level-ontology.kif 5216-5221
(=>
    (and
        (instance ?X Colloid)
        (attribute ?X Solid)
        (attribute ?X Fluid)
        (equal ?X ?Y))
    (instance ?Y Gel))		 Mid-level-ontology.kif 23240-23246

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


(=>
    (and
        (instance ?FR FlowRegion)
        (located ?FLUID ?FR))
    (attribute ?FLUID Fluid))		 Mid-level-ontology.kif 10287-10291
(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))		 Transportation.kif 777-783
(=>
    (and
        (instance ?T Thoracentesis)
        (patient ?T ?H))
    (exists (?I ?O ?IN ?L ?C ?F)
        (and
            (instance ?I Inserting)
            (subProcess ?I ?T)
            (objectTransferred ?I ?N)
            (origin ?I ?O)
            (destination ?I ?IN)
            (instance ?N Needle)
            (attribute ?F Fluid)
            (objectTransferred ?T ?F)
            (destination ?F ?O)
            (instance ?L Lung)
            (instance ?C Chest)
            (part ?L ?H)
            (part ?C ?H)
            (origin ?T ?IN)
            (destination ?T ?O)
            (between ?L ?IN ?C)
            (orientation ?O ?H Outside))))		 Medicine.kif 883-905
(=>
    (and
        (instance ?T Transportation)
        (instrument ?T ?D)
        (instance ?D Pump))
    (exists (?F)
        (and
            (instrument ?T ?F)
            (attribute ?F Fluid))))		 Mid-level-ontology.kif 16832-16840
(=>
    (and
        (instance ?TANK FluidContainer)
        (contains ?TANK ?STUFF))
    (attribute ?STUFF Fluid))		 Mid-level-ontology.kif 5153-5157
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))		 Merge.kif 17728-17735
(=>
    (instance ?N Needle)
    (hasPurpose ?N
        (exists (?H ?TP ?F ?RI)
            (and
                (instance ?H Animal)
                (instance ?TP TherapeuticProcss)
                (attribute ?F Fluid)
                (patient ?TP ?H)
                (instrument ?TP ?N)
                (or
                    (instance ?RI Removing)
                    (instance ?RI Inserting))
                (subProcess ?RI ?TP)
                (objectTransferred ?RI ?F)))))		 Medicine.kif 912-926
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))		 Transportation.kif 2603-2605
(=>
    (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 10895-10906
(=>
    (instance ?STUFF Effluent)
    (attribute ?STUFF Fluid))		 Geography.kif 2658-2660
(=>
    (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 1750-1758
(=>
    (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 1227-1238