Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  FluidContainer

 Sigma KEE - FluidContainer
FluidContainer(fluid container)
bath, caddy, fuel_pod, hot-water_bag, hot-water_bottle, milk_can, oilcan, pod, storage_tank, tank, tea_caddy, tub, urceole, vat, vessel, watering_can, watering_pot

appearance as argument number 1
-------------------------


(subclass FluidContainer Container) Mid-level-ontology.kif 5275-5275 Fluid container is a subclass of container
(documentation FluidContainer EnglishLanguage "A Container which is used to store Fluids, i.e. Liquids and Gases.") Mid-level-ontology.kif 5276-5277 Fluid container is a subclass of container
(externalImage FluidContainer "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ Bucket.agr.jpg") pictureList.kif 55-55 Fluid container is a subclass of container

appearance as argument number 2
-------------------------


(subclass BathTub FluidContainer) Mid-level-ontology.kif 2648-2648 Tub is a subclass of fluid container
(subclass Bottle FluidContainer) Mid-level-ontology.kif 5287-5287 Bottle is a subclass of fluid container
(subclass DrinkingCup FluidContainer) Mid-level-ontology.kif 5311-5311 Drinking cup is a subclass of fluid container
(subclass SwimmingPool FluidContainer) Mid-level-ontology.kif 5335-5335 Swimming pool is a subclass of fluid container
(subclass WhirlpoolTub FluidContainer) Mid-level-ontology.kif 27597-27597 Whirlpool tub is a subclass of fluid container
(subclass FishTank FluidContainer) Mid-level-ontology.kif 32098-32098 Fish tank is a subclass of fluid container
(subclass GasTank FluidContainer) Cars.kif 922-922 Gas tank is a subclass of fluid container
(subclass OilPan FluidContainer) Cars.kif 3205-3205 Oil pan is a subclass of fluid container
(subclass Balloon FluidContainer) Cars.kif 3448-3448 Balloon is a subclass of fluid container
(subclass Cask FluidContainer) Food.kif 3614-3614 Cask is a subclass of fluid container
(subclass CoffeeMaker FluidContainer) HouseholdAppliances.kif 837-837 Coffeemaker is a subclass of fluid container
(subclass FoodBlender FluidContainer) HouseholdAppliances.kif 856-856 Food blender is a subclass of fluid container
(disjoint FoodMixer FluidContainer) HouseholdAppliances.kif 874-874 Food mixer is disjoint from fluid container
(subclass Kettle FluidContainer) HouseholdAppliances.kif 905-905 Kettle is a subclass of fluid container
(subclass ElectricTankBoiler FluidContainer) HouseholdAppliances.kif 1179-1179 Electric boiler is a subclass of fluid container
(termFormat EnglishLanguage FluidContainer "fluid container") domainEnglishFormat.kif 24364-24364 Electric boiler is a subclass of fluid container
(termFormat ChineseTraditionalLanguage FluidContainer "液體容器") domainEnglishFormat.kif 24365-24365 Electric boiler is a subclass of fluid container
(termFormat ChineseLanguage FluidContainer "液体容器") domainEnglishFormat.kif 24366-24366 Electric boiler is a subclass of fluid container

antecedent
-------------------------


(=>
    (instance ?TANK FluidContainer)
    (hasPurpose ?TANK
        (exists (?STUFF)
            (and
                (contains ?TANK ?STUFF)
                (attribute ?STUFF Fluid)))))		 Mid-level-ontology.kif 5279-5285 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

consequent
-------------------------


(=>
    (instance ?BA BleedingAir)
    (hasPurpose ?BA
        (exists (?FC ?A)
            (and
                (instance ?FC FluidContainer)
                (instance ?A Air)
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?BA))
                    (contains ?FC ?A))
                (holdsDuring
                    (ImmediateFutureFn
                        (WhenFn ?BA))
                    (not
                        (contains ?FC ?A)))))))		 Cars.kif 1393-1407 If X is an instance of bleeding air, then X has the purpose there exist Y, Z such that Y is an instance of fluid container, Z is an instance of air, Y contains Z holds during immediately before the time of existence of X, and Y doesn't contain Z holds during immediately after the time of existence of X
(=>
    (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 1239-1251 If X is an instance of water sport, then there exists Y such that Y is an instance of water area or Y is an instance of fluid container, there exists Z such that Z is an instance of water, Z is located at Y, and X is located at Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners