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 是一个没有固定形状 Object 的 PhysicalState 属性，它因此是流动的或是随着容器的形状定型。") 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 17296-17298
(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 17295-17295

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


(subAttribute Gas Fluid) Merge.kif 17310-17310
(subAttribute Liquid Fluid) Merge.kif 17301-17301
(subAttribute Plasma Fluid) Merge.kif 17328-17328
(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 17283-17283

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 9407-9429
(=>
    (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 9468-9490
(=>
    (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 4468-4473

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


(=>
    (and
        (instance ?FR FlowRegion)
        (located ?FLUID ?FR))
    (attribute ?FLUID Fluid))		 Mid-level-ontology.kif 8664-8668
(=>
    (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 14895-14903
(=>
    (and
        (instance ?TANK FluidContainer)
        (contains ?TANK ?STUFF))
    (attribute ?STUFF Fluid))		 Mid-level-ontology.kif 4416-4420
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))		 Transportation.kif 2435-2437
(=>
    (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 9145-9156
(=>
    (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 1482-1490
(=>
    (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

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


(domain flows 1
    (ExtensionFn Fluid))		 Geography.kif 5324-5324
(domain flows 2
    (ExtensionFn Fluid))		 Geography.kif 5325-5325
(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 3.0 is open source software produced by Articulate Software and its partners