|
|
   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 4440-4443 | |
| (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 4439-4439 |
| appearance as argument number 2 |
|
|
| (subclass Bag Container) | Mid-level-ontology.kif 4449-4449 | |
| (subclass Box Container) | Mid-level-ontology.kif 4467-4467 | |
| (subclass ChestOrCabinet Container) | Mid-level-ontology.kif 4143-4143 | |
| (subclass Coffin Container) | Mid-level-ontology.kif 4147-4147 | |
| (subclass Compartment Container) | Mid-level-ontology.kif 4157-4157 | |
| (subclass Envelope Container) | Mid-level-ontology.kif 4663-4663 | |
| (subclass FluidContainer Container) | Mid-level-ontology.kif 4673-4673 | |
| (subclass Holster Container) | Mid-level-ontology.kif 1647-1647 | |
| (subclass Mailbox Container) | Mid-level-ontology.kif 4169-4169 | |
| (subclass Oven Container) | Mid-level-ontology.kif 2311-2311 | |
| (subclass Pericardium Container) | Mid-level-ontology.kif 11415-11415 | |
| (subclass PorousContainer Container) | Mid-level-ontology.kif 4510-4510 | |
| (subclass PotOrPan Container) | Mid-level-ontology.kif 2342-2342 | |
| (subclass ProductPackage Container) | Economy.kif 5155-5155 | |
| (subclass ProjectileShell Container) | Mid-level-ontology.kif 1114-1114 | |
| (subclass Refrigerator Container) | Mid-level-ontology.kif 2337-2337 | |
| (subclass SafeContainer Container) | Mid-level-ontology.kif 2714-2714 | |
| (subclass ShipContainer Container) | Transportation.kif 2596-2596 | |
| (subclass TravelContainer Container) | Mid-level-ontology.kif 4668-4668 | |
| (subclass Wastebasket Container) | Mid-level-ontology.kif 1659-1659 | |
| (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 4445-4447 |
| consequent |
|
|
| (=> (attribute ?C ContainerEmpty) (instance ?C Container)) |
Mid-level-ontology.kif 1617-1619 | |
| (=> (attribute ?C ContainerFull) (instance ?C Container)) |
Mid-level-ontology.kif 1635-1637 | |
| (=> (instance ?C Compartment) (exists (?O) (and (instance ?O Container) (not (equal ?C ?O)) (part ?C ?O)))) |
Mid-level-ontology.kif 4161-4167 | |
| (=> (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 4012-4020 | |
| (=> (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 17565-17576 | |
| (=> (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 2813-2838 |
|
|
|
