| Fluid(fluid)
| | fluid |
| appearance as argument number 1 |
|
|
| (instance Fluid InternalAttribute) | Merge.kif 17792-17792 | 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 17793-17795 | 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 17759-17759 | Liquid is a subattribute of fluid |
| (subAttribute Gas Fluid) | Merge.kif 17768-17768 | Gas is a subattribute of fluid |
| (subAttribute Plasma Fluid) | Merge.kif 17786-17786 | 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 ?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 | 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 |
| (=> (and (instance ?P SwimmingPool) (contains ?P ?F) (instance ?F Fluid)) (instance ?F FreshWater)) |
Mid-level-ontology.kif 5213-5218 | 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 11207-11229 | 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 11268-11290 | 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 23951-23957 | 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 |
| consequent |
|
|
| (=> (instance ?STUFF Effluent) (attribute ?STUFF Fluid)) |
Geography.kif 4125-4127 | 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 873-895 | 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 902-916 | 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 ?X Substance) (or (attribute ?X Gas) (attribute ?X Liquid) (attribute ?X Plasma))) (attribute ?X Fluid)) |
Merge.kif 17797-17804 | 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 1762-1770 | 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 5144-5150 | 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 10307-10311 | 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 10914-10925 | 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 16953-16961 | 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 |
| (=> (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 2621-2623 | 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 1184-1195 | 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 |
| statement |
|
|
| (subclass Atmosphere (ExtensionFn Fluid)) |
Weather.kif 11-11 | Atmosphere is a subclass of the class corresponding to fluid |
|
|
|