| FluidContainer(液體容器)
| |
| appearance as argument number 1 |
|
|
| (documentation FluidContainer EnglishLanguage "A Container which is used to store Fluids, i.e. Liquids and Gases.") | Mid-level-ontology.kif 4679-4680 | |
| (externalImage FluidContainer "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ Bucket.agr.jpg") | pictureList.kif 55-55 | |
| (subclass FluidContainer Container) | Mid-level-ontology.kif 4678-4678 | 子類 液體容器 and 容器 |
| appearance as argument number 2 |
|
|
| (subclass Balloon FluidContainer) | Cars.kif 3584-3584 | 子類 Balloon and 液體容器 |
| (subclass BathTub FluidContainer) | Mid-level-ontology.kif 2049-2049 | 子類 BathTub and 液體容器 |
| (subclass Bottle FluidContainer) | Mid-level-ontology.kif 4688-4688 | 子類 瓶子 and 液體容器 |
| (subclass Cask FluidContainer) | Food.kif 3577-3577 | 子類 Cask and 液體容器 |
| (subclass DrinkingCup FluidContainer) | Mid-level-ontology.kif 4710-4710 | 子類 喝水杯 and 液體容器 |
| (subclass FishTank FluidContainer) | Mid-level-ontology.kif 29487-29487 | 子類 FishTank and 液體容器 |
| (subclass GasTank FluidContainer) | Cars.kif 985-985 | 子類 GasTank and 液體容器 |
| (subclass OilPan FluidContainer) | Cars.kif 3315-3315 | 子類 OilPan and 液體容器 |
| (subclass SwimmingPool FluidContainer) | Mid-level-ontology.kif 4721-4721 | 子類 游泳池 and 液體容器 |
| (subclass WhirlpoolTub FluidContainer) | Mid-level-ontology.kif 25277-25277 | 子類 WhirlpoolTub and 液體容器 |
| (termFormat ChineseLanguage FluidContainer "液体容器") | domainEnglishFormat.kif 24368-24368 | |
| (termFormat ChineseTraditionalLanguage FluidContainer "液體容器") | domainEnglishFormat.kif 24367-24367 | |
| (termFormat EnglishLanguage FluidContainer "fluid container") | domainEnglishFormat.kif 24366-24366 |
| antecedent |
|
|
| (=> (and (instance ?TANK FluidContainer) (contains ?TANK ?STUFF)) (attribute ?STUFF Fluid)) |
Mid-level-ontology.kif 4682-4686 |
|
| consequent |
|
|
| (=> (instance ?BA BleedingAir) (hasPurpose ?BA (exists (?FC ?A) (and (instance ?FC FluidContainer) (instance ?A Air) (holdsDuring (ImmediatePastFn ?BA) (contains ?FC ?A)) (holdsDuring (ImmediateFutureFn ?BA) (not (contains ?FC ?A))))))) |
Cars.kif 1519-1529 | |
| (=> (instance ?X WaterSport) (exists (?W) (and (or (instance ?W WaterArea) (and (instance ?W FluidContainer) (exists (?WATER) (and (instance ?WATER Water) (located ?WATER ?W))))) (eventLocated ?X ?W)))) |
Sports.kif 1211-1223 |
|
|
|