| 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 4909-4912 | |
| (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 4908-4908 |
| appearance as argument number 2 |
|
|
| (subclass Bag Container) | Mid-level-ontology.kif 4918-4918 | |
| (subclass Box Container) | Mid-level-ontology.kif 4936-4936 | |
| (subclass ChestOrCabinet Container) | Mid-level-ontology.kif 4612-4612 | |
| (subclass Coffin Container) | Mid-level-ontology.kif 4616-4616 | |
| (subclass Compartment Container) | Mid-level-ontology.kif 4626-4626 | |
| (subclass Envelope Container) | Mid-level-ontology.kif 5132-5132 | |
| (subclass FluidContainer Container) | Mid-level-ontology.kif 5142-5142 | |
| (subclass Holster Container) | Mid-level-ontology.kif 2116-2116 | |
| (subclass Mailbox Container) | Mid-level-ontology.kif 4638-4638 | |
| (subclass Oven Container) | Mid-level-ontology.kif 2780-2780 | |
| (subclass Pericardium Container) | Mid-level-ontology.kif 12737-12737 | |
| (subclass PorousContainer Container) | Mid-level-ontology.kif 4979-4979 | |
| (subclass PotOrPan Container) | Mid-level-ontology.kif 2811-2811 | |
| (subclass ProductPackage Container) | Economy.kif 5496-5496 | |
| (subclass ProjectileShell Container) | Mid-level-ontology.kif 1186-1186 | |
| (subclass Refrigerator Container) | Mid-level-ontology.kif 2806-2806 | |
| (subclass SafeContainer Container) | Mid-level-ontology.kif 3183-3183 | |
| (subclass ShipContainer Container) | Transportation.kif 2780-2780 | |
| (subclass TravelContainer Container) | Mid-level-ontology.kif 5137-5137 | |
| (subclass Wastebasket Container) | Mid-level-ontology.kif 2128-2128 | |
| (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 4914-4916 |
| consequent |
|
|
| (=> (attribute ?C ContainerEmpty) (instance ?C Container)) |
Mid-level-ontology.kif 2086-2088 | |
| (=> (attribute ?C ContainerFull) (instance ?C Container)) |
Mid-level-ontology.kif 2104-2106 | |
| (=> (instance ?C Compartment) (exists (?O) (and (instance ?O Container) (not (equal ?C ?O)) (part ?C ?O)))) |
Mid-level-ontology.kif 4630-4636 | |
| (=> (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 5504-5518 | |
| (=> (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 4481-4489 | |
| (=> (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 19106-19117 | |
| (=> (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 |
|
|
|