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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fluid

Sigma KEE - Fluid
Fluid(fluid)
fluid

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


(documentation Fluid ChineseLanguage "Fluid 是一个没有固定形状 ObjectPhysicalState 属性,它因此是流动的或是随着容器的形状定型。") 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 17590-17592
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Shock_sink.jpg") pictureList.kif 6521-6521
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 6016-6016
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/b/b1/ FluidPhysics-Wake.jpg") pictureList.kif 6520-6520
(instance Fluid InternalAttribute) Merge.kif 17589-17589 Fluid is an instance of internal attribute

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


(subAttribute Gas Fluid) Merge.kif 17565-17565 Gas is a subattribute of fluid
(subAttribute Liquid Fluid) Merge.kif 17556-17556 Liquid is a subattribute of fluid
(subAttribute Plasma Fluid) Merge.kif 17583-17583 Plasma is a subattribute of fluid
(termFormat ChineseLanguage Fluid "流体") domainEnglishFormat.kif 24362-24362
(termFormat ChineseTraditionalLanguage Fluid "流體") domainEnglishFormat.kif 24361-24361
(termFormat EnglishLanguage Fluid "fluid") domainEnglishFormat.kif 24360-24360

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 9839-9861
(=>
    (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 9900-9922
(=>
    (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 4734-4739
(=>
    (and
        (instance ?X Colloid)
        (attribute ?X Solid)
        (attribute ?X Fluid)
        (equal ?X ?Y))
    (instance ?Y Gel))
Mid-level-ontology.kif 21616-21622

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


(=>
    (and
        (instance ?FR FlowRegion)
        (located ?FLUID ?FR))
    (attribute ?FLUID Fluid))
Mid-level-ontology.kif 9061-9065
(=>
    (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 895-917
(=>
    (and
        (instance ?T Transportation)
        (instrument ?T ?D)
        (instance ?D Pump))
    (exists (?F)
        (and
            (instrument ?T ?F)
            (attribute ?F Fluid))))
Mid-level-ontology.kif 15451-15459
(=>
    (and
        (instance ?TANK FluidContainer)
        (contains ?TANK ?STUFF))
    (attribute ?STUFF Fluid))
Mid-level-ontology.kif 4682-4686
(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))
Merge.kif 17594-17601
(=>
    (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 924-938
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))
Transportation.kif 2428-2430
(=>
    (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 9546-9557
(=>
    (instance ?STUFF Effluent)
    (attribute ?STUFF Fluid))
Geography.kif 2670-2672
(=>
    (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 1527-1535
(=>
    (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 914-925

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


(domain flows 1
    (ExtensionFn Fluid))
Geography.kif 5426-5426 The number 1 argument of flows is an instance of the class corresponding to fluid
(domain flows 2
    (ExtensionFn Fluid))
Geography.kif 5427-5427 The number 2 argument of flows is an instance of the class corresponding to fluid
(subclass Atmosphere
    (ExtensionFn Fluid))
Weather.kif 11-11 Atmosphere is a subclass of the class corresponding to fluid


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