| Container
| |
| appearance as argument number 1 |
|
|
| (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 4513-4516 | |
| (externalImage Container "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Safe.jpg") | pictureList.kif 1716-1716 | |
| (externalImage Container "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Ceramic_planter_from_the_Ming_Dynasty.jpg") | pictureList.kif 34-34 | |
| (externalImage Container "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Baskets_four_styles.jpg") | pictureList.kif 35-35 | |
| (subclass Container Holder) | Mid-level-ontology.kif 4512-4512 |
| appearance as argument number 2 |
|
|
| (subclass Bag Container) | Mid-level-ontology.kif 4522-4522 | |
| (subclass Box Container) | Mid-level-ontology.kif 4540-4540 | |
| (subclass ChestOrCabinet Container) | Mid-level-ontology.kif 4216-4216 | |
| (subclass Coffin Container) | Mid-level-ontology.kif 4220-4220 | |
| (subclass Compartment Container) | Mid-level-ontology.kif 4230-4230 | |
| (subclass Envelope Container) | Mid-level-ontology.kif 4736-4736 | |
| (subclass FluidContainer Container) | Mid-level-ontology.kif 4746-4746 | |
| (subclass Holster Container) | Mid-level-ontology.kif 1720-1720 | |
| (subclass Mailbox Container) | Mid-level-ontology.kif 4242-4242 | |
| (subclass Oven Container) | Mid-level-ontology.kif 2384-2384 | |
| (subclass Pericardium Container) | Mid-level-ontology.kif 12284-12284 | |
| (subclass PorousContainer Container) | Mid-level-ontology.kif 4583-4583 | |
| (subclass PotOrPan Container) | Mid-level-ontology.kif 2415-2415 | |
| (subclass ProductPackage Container) | Economy.kif 5365-5365 | |
| (subclass ProjectileShell Container) | Mid-level-ontology.kif 1114-1114 | |
| (subclass Refrigerator Container) | Mid-level-ontology.kif 2410-2410 | |
| (subclass SafeContainer Container) | Mid-level-ontology.kif 2787-2787 | |
| (subclass ShipContainer Container) | Transportation.kif 2777-2777 | |
| (subclass TravelContainer Container) | Mid-level-ontology.kif 4741-4741 | |
| (subclass Wastebasket Container) | Mid-level-ontology.kif 1732-1732 | |
| (termFormat ChineseLanguage Container "容器") | domainEnglishFormat.kif 16911-16911 | |
| (termFormat ChineseTraditionalLanguage Container "容器") | domainEnglishFormat.kif 16910-16910 | |
| (termFormat EnglishLanguage Container "container") | domainEnglishFormat.kif 16909-16909 |
| antecedent |
|
|
| (=> (instance ?CONTAINER Container) (hasPurpose ?CONTAINER (exists (?OBJ) (contains ?CONTAINER ?OBJ)))) |
Mid-level-ontology.kif 4518-4520 |
| consequent |
|
|
| (=> (attribute ?C ContainerEmpty) (instance ?C Container)) |
Mid-level-ontology.kif 1690-1692 | |
| (=> (attribute ?C ContainerFull) (instance ?C Container)) |
Mid-level-ontology.kif 1708-1710 | |
| (=> (instance ?C Compartment) (exists (?O) (and (instance ?O Container) (not (equal ?C ?O)) (part ?C ?O)))) |
Mid-level-ontology.kif 4234-4240 | |
| (=> (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 5373-5387 | |
| (=> (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 4085-4093 | |
| (=> (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 18627-18638 | |
| (=> (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 2812-2837 |
|
|
|