Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Moss

 Sigma KEE - Fluid
Fluid(fluid)
fluid

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


(instance Fluid InternalAttribute) Merge.kif 17946-17946 Fluid is an instance of internal attribute
(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 17947-17949 Fluid is an instance of internal attribute
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 6015-6015 Fluid is an instance of internal attribute
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/b/b1/ FluidPhysics_Wake.jpg") pictureList.kif 6519-6519 Fluid is an instance of internal attribute
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Shock_sink.jpg") pictureList.kif 6520-6520 Fluid is an instance of internal attribute

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


(subAttribute Liquid Fluid) Merge.kif 17913-17913 Liquid is a subattribute of fluid
(subAttribute Gas Fluid) Merge.kif 17922-17922 Gas is a subattribute of fluid
(subAttribute Plasma Fluid) Merge.kif 17940-17940 Plasma is a subattribute of fluid
(termFormat EnglishLanguage Fluid "fluid") domainEnglishFormat.kif 24358-24358 Plasma is a subattribute of fluid
(termFormat ChineseTraditionalLanguage Fluid "流體") domainEnglishFormat.kif 24359-24359 Plasma is a subattribute of fluid
(termFormat ChineseLanguage Fluid "流体") domainEnglishFormat.kif 24360-24360 Plasma is a subattribute of fluid

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


(=>
    (and
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F FreshWater))		 Mid-level-ontology.kif 5348-5353 If X is an instance of swimming pool, X contains Y, and Y is an instance of fluid, then Y is an instance of freshwater
(=>
    (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 11284-11306 If All of the following hold: (1) X is an instance of antacid (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of stomach (6) W is a part of Z (7) W contains V and V is an instance of fluid holds during immediately before the time of existence of Y (8) W contains U and U is an instance of fluid holds during immediately after the time of existence of Y (9) pH measure V and T (10) pH measure U and S, then S is greater than T
(=>
    (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 11345-11367 If All of the following hold: (1) X is an instance of PPI (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of stomach (6) W is a part of Z (7) W contains V and V is an instance of fluid holds during immediately before the time of existence of Y (8) W contains U and U is an instance of fluid holds during immediately after the time of existence of Y (9) pH measure V and T (10) pH measure U and S, then S is greater than T
(=>
    (and
        (instance ?X Colloid)
        (attribute ?X Solid)
        (attribute ?X Fluid)
        (equal ?X ?Y))
    (instance ?Y Gel))		 Mid-level-ontology.kif 23890-23896 If X is an instance of colloid, solid is an attribute of X, fluid is an attribute of X, and equal X and Y, then Y is an instance of gel
(=>
    (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 808-822 If All of the following hold: (1) X is an instance of shock (2) Y is an instance of compressing (3) Z is an instance of hole (4) fluid is an attribute of W (5) equal X and the host of the hole Z (6) X contains W (7) X is a patient of Y, then there exists V such that V is an instance of transfer, the object transferred in V is W, Z is path along which V occurs, and Y causes V

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


(=>
    (and
        (instance ?X Substance)
        (or
            (attribute ?X Gas)
            (attribute ?X Liquid)
            (attribute ?X Plasma)))
    (attribute ?X Fluid))		 Merge.kif 17951-17958 If X is an instance of substance and At least one of the following holds: (1) gas is an attribute of X (2) liquid is an attribute of X (3) plasma is an attribute of X, then fluid is an attribute of X
(=>
    (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 1813-1821 If X is an instance of tube, then X has the purpose there exist Y, Z such that Y is an instance of transfer, X is path along which Y occurs, Z is a patient of Y, and fluid is an attribute of Z
(=>
    (instance ?TANK FluidContainer)
    (hasPurpose ?TANK
        (exists (?STUFF)
            (and
                (contains ?TANK ?STUFF)
                (attribute ?STUFF Fluid)))))		 Mid-level-ontology.kif 5279-5285 If X is an instance of fluid container, then X has the purpose there exists Y such that X contains Y and fluid is an attribute of Y
(=>
    (and
        (instance ?FR FlowRegion)
        (located ?FLUID ?FR))
    (attribute ?FLUID Fluid))		 Mid-level-ontology.kif 10428-10432 If X is an instance of flow region and Y is located at X, then fluid is an attribute of Y
(=>
    (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 11037-11048 If X is an instance of plant stem, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) X is an instrument for Y (4) Z is an instance of plant root (5) Y originates at Z (6) W is an instance of substance (7) fluid is an attribute of W (8) the object transferred in Y is W
(=>
    (and
        (instance ?T Transportation)
        (instrument ?T ?D)
        (instance ?D Pump))
    (exists (?F)
        (and
            (instrument ?T ?F)
            (attribute ?F Fluid))))		 Mid-level-ontology.kif 17050-17058 If X is an instance of transportation, Y is an instrument for X, and Y is an instance of pump, then there exists Z such that Z is an instrument for X and fluid is an attribute of Z
(=>
    (instance ?STUFF Effluent)
    (attribute ?STUFF Fluid))		 Geography.kif 4106-4108 If X is an instance of effluent, then fluid is an attribute of X
(=>
    (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 874-896 If X is an instance of needle decompression and Y is a patient of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T (2) S such that Z is an instance of inserting (3) Z is a subprocess of X (4) the object transferred in Z is R (5) Z originates at W (6) Z ends up at V (7) R is an instance of needle (8) fluid is an attribute of S (9) the object transferred in X is S (10) S ends up at W (11) U is an instance of lung (12) T is an instance of chest (13) U is a part of Y (14) T is a part of Y (15) X originates at V (16) X ends up at W (17) V is between U (18) T (19) W is outside of to Y
(=>
    (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 904-918 If X is an instance of needle, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of animal (3) Z is an instance of TherapeuticProcss (4) fluid is an attribute of W (5) Y is a patient of Z (6) X is an instrument for Z (7) V is an instance of removing or V is an instance of inserting (8) V is a subprocess of Z (9) the object transferred in V is W
(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))		 Transportation.kif 777-783 If X is an instance of pipeline, Y is an instance of motion, X is an instrument for Y, and Z is a patient of Y, then Z is an instance of the class corresponding to fluid
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))		 Transportation.kif 2616-2618 If X is an instance of specialized tanker ship, then the class corresponding to fluid is a cargo type of X
(=>
    (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 1321-1332 If X is an instance of valve, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of transfer (3) X is path along which W occurs (4) Y is a patient of W (5) fluid is an attribute of Y (6) Z is an instance of process (7) X is an instrument for Z (8) W is a patient of Z