| Container(container)
| | Dumpster, Tabernacle, aglet, aiglet, automobile_trunk, bag, basket, bin, bin_liner, bowl, bread-bin, breadbox, bucket, bunker, butt_pack, canister, cannister, capsule, cartridge_clip, cartridge_holder, case, cast, clip, coal_scuttle, compositor's_case, cot, cylinder, dispenser, display_case, drawstring_bag, drip_pan, duffel, duffel_bag, duffle, duffle_bag, dust_bag, empty, fanny_pack, fingerstall, flowerpot, golf_bag, grab_bag, graduated_cylinder, handbasket, jacket, kibble, luggage_compartment, magazine, mailer, manger... |
| appearance as argument number 1 |
|
|
| (subclass Container Holder) | Mid-level-ontology.kif 4906-4906 | Container is a subclass of holder |
| (documentation Container EnglishLanguage "Any Holder whose purpose is to contain something else. Note that Container is more specific in meaning than Holder, because a Container must have a HoleRegion that is at least partially filled by the thing contained.") | Mid-level-ontology.kif 4907-4910 | Container is a subclass of holder |
| (externalImage Container "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Ceramic_planter_from_the_Ming_Dynasty.jpg") | pictureList.kif 34-34 | Container is a subclass of holder |
| (externalImage Container "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Baskets_four_styles.jpg") | pictureList.kif 35-35 | Container is a subclass of holder |
| (externalImage Container "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Safe.jpg") | pictureList.kif 1716-1716 | Container is a subclass of holder |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?CONTAINER Container) (hasPurpose ?CONTAINER (exists (?OBJ) (contains ?CONTAINER ?OBJ)))) |
Mid-level-ontology.kif 4912-4914 | If X is an instance of container, then X has the purpose there exists Y such that X contains Y |
| consequent |
|
|
| (=> (instance ?HS HeatSealer) (hasPurpose ?HS (exists (?CLOSE ?PLAST ?CONT ?HEAT) (and (instance ?CONT Container) (instance ?PLAST Plastic) (instance ?CLOSE Closing) (instance ?HEAT Heating) (instrument ?CLOSE ?HS) (instrument ?CLOSE ?PLAST) (agent ?HEAT ?HS) (patient ?HEAT ?PLAST) (result ?HEAT ?CLOSE) (patient ?CLOSE ?CONT))))) |
Economy.kif 5499-5513 | If X is an instance of heat sealer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of container (3) Z is an instance of plastic (4) Y is an instance of closing (5) V is an instance of heating (6) X is an instrument for Y (7) Z is an instrument for Y (8) X is an agent of V (9) Z is a patient of V (10) Y is a result of V (11) W is a patient of Y |
| (=> (instance ?DEVICE VacuumCleaner) (exists (?CONTAINER) (and (part ?DEVICE ?CONTAINER) (instance ?CONTAINER Container)))) |
HouseholdAppliances.kif 684-689 | If X is an instance of vacuum cleaner, then there exists Y such that X is a part of Y and Y is an instance of container |
| (=> (instance ?DEVICE VacuumCleaner) (hasPurpose ?DEVICE (exists (?PROC ?CONTAINER ?STUFF) (and (instance ?PROC Inserting) (instrument ?PROC ?DEVICE) (instance ?CONTAINER Container) (agent ?PROC ?STUFF) (destination ?PROC ?CONTAINER) (part ?DEVICE ?CONTAINER))))) |
HouseholdAppliances.kif 693-703 | If X is an instance of vacuum cleaner, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of inserting (3) X is an instrument for Y (4) Z is an instance of container (5) W is an agent of Y (6) Y ends up at Z (7) X is a part of Z |
| (=> (attribute ?C ContainerEmpty) (instance ?C Container)) |
Mid-level-ontology.kif 2105-2107 | If container empty is an attribute of X, then X is an instance of container |
| (=> (attribute ?C ContainerFull) (instance ?C Container)) |
Mid-level-ontology.kif 2123-2125 | If container full is an attribute of X, then X is an instance of container |
| (=> (instance ?L Lid) (exists (?C) (and (instance ?C Container) (part ?L ?C) (capability Closing instrument ?L) (capability Opening instrument ?L) (top ?L ?C)))) |
Mid-level-ontology.kif 4479-4487 | If X is an instance of lid, then there exists Y such that Y is an instance of container, X is a part of Y, X is capable of doing closing as a instrument, X is capable of doing opening as a instrument, and the top of Y is X |
| (=> (instance ?C Compartment) (exists (?O) (and (instance ?O Container) (not (equal ?C ?O)) (part ?C ?O)))) |
Mid-level-ontology.kif 4628-4634 | If X is an instance of compartment, then there exists Y such that Y is an instance of container, equal X, Y, and X is a part of Y |
| (=> (instance ?POUR Pouring) (exists (?LIQUID ?CONTAINER1 ?CONTAINER2) (and (origin ?POUR ?CONTAINER1) (destination ?POUR ?CONTAINER2) (instance ?CONTAINER1 Container) (instance ?CONTAINER2 Container) (not (equal ?CONTAINER1 ?CONTAINER2)) (patient ?POUR ?LIQUID) (attribute ?LIQUID Liquid) (instance ?LIQUID Substance)))) |
Mid-level-ontology.kif 19406-19417 | If X is an instance of pouring, then All of the following hold: (1) there exist Y, Z (2) W such that X originates at Z (3) X ends up at W (4) Z is an instance of container (5) W is an instance of container (6) equal Z (7) W (8) Y is a patient of X (9) liquid is an attribute of Y (10) Y is an instance of substance |
| (=> (rainfallIntensity ?AREA ?TIME ?RATE) (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL) (and (instance ?RAIN Raining) (eventLocated ?RAIN ?AREA) (during (WhenFn ?RAIN) ?TIME) (instance ?CLTN Collection) (objectTransferred ?RAIN ?CLTN) (instance ?R Water) (member ?R ?CLTN) (instance ?BUCKET Container) (bottom ?BOTTOM ?BUCKET) (attribute ?BOTTOM Flat) (located ?BUCKET ?AREA) (holdsDuring (BeginFn ?TIME) (attribute ?BUCKET ContainerEmpty)) (holdsDuring (EndFn ?TIME) (and (located ?CLTN ?BUCKET) (top ?TOP ?CLTN) (depth ?TOP ?BOTTOM ?RAINFALL) (equal ?RAINFALL (MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 4142-4167 | If the rate of rain in X during Y is Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S,, , R (2) Q such that W is an instance of raining (3) W is located at X (4) the time of existence of W takes place during Y (5) V is an instance of collection (6) the object transferred in W is V (7) U is an instance of water (8) U is a member of V (9) T is an instance of container (10) the bottom of T is R (11) flat is an attribute of R (12) T is located at X (13) container empty is an attribute of T holds during the beginning of Y (14) V is located at T (15) the top of V is S (16) the depth from S to R is Q (17) equal Q (18) Y (19) Z holds during the end of Y |
|
|
|