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 5124-5125 | |
(externalImage FluidContainer "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ Bucket.agr.jpg") | pictureList.kif 55-55 | |
(subclass FluidContainer Container) | Mid-level-ontology.kif 5123-5123 |
appearance as argument number 2 |
![]() |
(subclass Balloon FluidContainer) | Cars.kif 3645-3645 | |
(subclass BathTub FluidContainer) | Mid-level-ontology.kif 2512-2512 | |
(subclass Bottle FluidContainer) | Mid-level-ontology.kif 5133-5133 | |
(subclass Cask FluidContainer) | Food.kif 3584-3584 | |
(subclass DrinkingCup FluidContainer) | Mid-level-ontology.kif 5155-5155 | |
(subclass FishTank FluidContainer) | Mid-level-ontology.kif 31408-31408 | |
(subclass GasTank FluidContainer) | Cars.kif 985-985 | |
(subclass OilPan FluidContainer) | Cars.kif 3376-3376 | |
(subclass SwimmingPool FluidContainer) | Mid-level-ontology.kif 5177-5177 | |
(subclass WhirlpoolTub FluidContainer) | Mid-level-ontology.kif 26941-26941 | |
(termFormat ChineseLanguage FluidContainer "液体容器") | domainEnglishFormat.kif 24373-24373 | |
(termFormat ChineseTraditionalLanguage FluidContainer "液體容器") | domainEnglishFormat.kif 24372-24372 | |
(termFormat EnglishLanguage FluidContainer "fluid container") | domainEnglishFormat.kif 24371-24371 |
antecedent |
![]() |
(=> (and (instance ?TANK FluidContainer) (contains ?TANK ?STUFF)) (attribute ?STUFF Fluid)) |
Mid-level-ontology.kif 5127-5131 |
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 1225-1237 |
![]() |
![]() |