|
|
   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 4445-4448 | |
| (externalImage Container "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Safe.jpg") | pictureList.kif 1717-1717 | |
| (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 4444-4444 |
| appearance as argument number 2 |
|
|
| (subclass Bag Container) | Mid-level-ontology.kif 4454-4454 | |
| (subclass Box Container) | Mid-level-ontology.kif 4472-4472 | |
| (subclass ChestOrCabinet Container) | Mid-level-ontology.kif 4150-4150 | |
| (subclass Coffin Container) | Mid-level-ontology.kif 4154-4154 | |
| (subclass Compartment Container) | Mid-level-ontology.kif 4164-4164 | |
| (subclass Envelope Container) | Mid-level-ontology.kif 4668-4668 | |
| (subclass FluidContainer Container) | Mid-level-ontology.kif 4678-4678 | |
| (subclass Holster Container) | Mid-level-ontology.kif 1654-1654 | |
| (subclass Mailbox Container) | Mid-level-ontology.kif 4176-4176 | |
| (subclass Oven Container) | Mid-level-ontology.kif 2318-2318 | |
| (subclass Pericardium Container) | Mid-level-ontology.kif 11388-11388 | |
| (subclass PorousContainer Container) | Mid-level-ontology.kif 4515-4515 | |
| (subclass PotOrPan Container) | Mid-level-ontology.kif 2349-2349 | |
| (subclass ProductPackage Container) | Economy.kif 5155-5155 | |
| (subclass ProjectileShell Container) | Mid-level-ontology.kif 1121-1121 | |
| (subclass Refrigerator Container) | Mid-level-ontology.kif 2344-2344 | |
| (subclass SafeContainer Container) | Mid-level-ontology.kif 2721-2721 | |
| (subclass TravelContainer Container) | Mid-level-ontology.kif 4673-4673 | |
| (subclass Wastebasket Container) | Mid-level-ontology.kif 1666-1666 | |
| (termFormat ChineseLanguage Container "容器") | domainEnglishFormat.kif 16896-16896 | |
| (termFormat ChineseTraditionalLanguage Container "容器") | domainEnglishFormat.kif 16895-16895 | |
| (termFormat EnglishLanguage Container "container") | domainEnglishFormat.kif 16894-16894 |
| antecedent |
|
|
| (=> (instance ?CONTAINER Container) (hasPurpose ?CONTAINER (exists (?OBJ) (contains ?CONTAINER ?OBJ)))) |
Mid-level-ontology.kif 4450-4452 |
| consequent |
|
|
| (=> (attribute ?C ContainerEmpty) (instance ?C Container)) |
Mid-level-ontology.kif 1624-1626 | |
| (=> (attribute ?C ContainerFull) (instance ?C Container)) |
Mid-level-ontology.kif 1642-1644 | |
| (=> (instance ?C Compartment) (exists (?O) (and (instance ?O Container) (not (equal ?C ?O)) (part ?C ?O)))) |
Mid-level-ontology.kif 4168-4174 | |
| (=> (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 5163-5177 | |
| (=> (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 4019-4027 | |
| (=> (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 17538-17549 | |
| (=> (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 2830-2855 |
|
|
|
