| Fluid
| |
| appearance as argument number 1 |
|
|
| (documentation Fluid ChineseLanguage "Fluid 是一个没有固定形状 Object 的 PhysicalState 属性，它因此是流动的或是随着容器的形状定型。") | Merge.kif 22357-22358 | |
| (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 22354-22356 | |
| (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 22353-22353 |
| appearance as argument number 2 |
|
|
| (subAttribute Gas Fluid) | Merge.kif 22372-22372 | |
| (subAttribute Liquid Fluid) | Merge.kif 22361-22361 | |
| (subAttribute Plasma Fluid) | Merge.kif 22386-22386 | |
| (termFormat ChineseLanguage Fluid "流体") | domainEnglishFormat.kif 24295-24295 | |
| (termFormat ChineseTraditionalLanguage Fluid "流體") | domainEnglishFormat.kif 24294-24294 | |
| (termFormat EnglishLanguage Fluid "fluid") | domainEnglishFormat.kif 24293-24293 |
| appearance as argument number 3 |
|
|
| (exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) | Merge.kif 22336-22336 |
| antecedent |
|
|
| (=> (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 861-875 | |
| (=> (and (instance ?P SwimmingPool) (contains ?P ?F) (instance ?F Fluid)) (instance ?F Water)) |
Mid-level-ontology.kif 5057-5062 |
| consequent |
|
|
| (=> (and (instance ?FR FlowRegion) (located ?FLUID ?FR)) (attribute ?FLUID Fluid)) |
Mid-level-ontology.kif 8781-8785 | |
| (=> (and (instance ?PIPE Pipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF (ExtensionFn Fluid))) |
Transportation.kif 766-772 | |
| (=> (and (instance ?T Transportation) (instrument ?T ?D) (instance ?D Pump)) (exists (?F) (and (instrument ?T ?F) (attribute ?F Fluid)))) |
Mid-level-ontology.kif 13136-13144 | |
| (=> (and (instance ?TANK FluidContainer) (contains ?TANK ?STUFF)) (attribute ?STUFF Fluid)) |
Mid-level-ontology.kif 5008-5012 | |
| (=> (instance ?SHIP SpecializedTankerShip) (cargoType ?SHIP (ExtensionFn Fluid))) |
Transportation.kif 2389-2391 | |
| (=> (instance ?STUFF Effluent) (attribute ?STUFF Fluid)) |
Geography.kif 2599-2601 | |
| (=> (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 1936-1944 | |
| (=> (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 908-919 |
| statement |
|
|
| (domain flows 1 (ExtensionFn Fluid)) |
Geography.kif 5090-5090 | |
| (domain flows 2 (ExtensionFn Fluid)) |
Geography.kif 5091-5091 | |
| (subclass Atmosphere (ExtensionFn Fluid)) |
Weather.kif 11-11 |
|
|
|