![]() |
![]() ![]()
|
![]() |
|
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 |
![]() |
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 |
![]() |
![]() |