| 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 4417-4420 | |
| (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 4416-4416 |
| appearance as argument number 2 |
|
|
| (subclass Bag Container) | Mid-level-ontology.kif 4426-4426 | |
| (subclass Box Container) | Mid-level-ontology.kif 4444-4444 | |
| (subclass ChestOrCabinet Container) | Mid-level-ontology.kif 4122-4122 | |
| (subclass Coffin Container) | Mid-level-ontology.kif 4126-4126 | |
| (subclass Compartment Container) | Mid-level-ontology.kif 4136-4136 | |
| (subclass ContainerChest Container) | Mid-level-ontology.kif 3956-3956 | |
| (subclass Envelope Container) | Mid-level-ontology.kif 4640-4640 | |
| (subclass FluidContainer Container) | Mid-level-ontology.kif 4650-4650 | |
| (subclass Holster Container) | Mid-level-ontology.kif 1626-1626 | |
| (subclass Mailbox Container) | Mid-level-ontology.kif 4148-4148 | |
| (subclass Oven Container) | Mid-level-ontology.kif 2290-2290 | |
| (subclass Pericardium Container) | Mid-level-ontology.kif 11341-11341 | |
| (subclass PorousContainer Container) | Mid-level-ontology.kif 4487-4487 | |
| (subclass PotOrPan Container) | Mid-level-ontology.kif 2321-2321 | |
| (subclass ProductPackage Container) | Economy.kif 5038-5038 | |
| (subclass ProjectileShell Container) | Mid-level-ontology.kif 1093-1093 | |
| (subclass Refrigerator Container) | Mid-level-ontology.kif 2316-2316 | |
| (subclass SafeContainer Container) | Mid-level-ontology.kif 2693-2693 | |
| (subclass TravelContainer Container) | Mid-level-ontology.kif 4645-4645 | |
| (subclass Wastebasket Container) | Mid-level-ontology.kif 1638-1638 | |
| (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 4422-4424 |
| consequent |
|
|
| (=> (attribute ?C ContainerEmpty) (instance ?C Container)) |
Mid-level-ontology.kif 1596-1598 | |
| (=> (attribute ?C ContainerFull) (instance ?C Container)) |
Mid-level-ontology.kif 1614-1616 | |
| (=> (instance ?C Compartment) (exists (?O) (and (instance ?O Container) (not (equal ?C ?O)) (part ?C ?O)))) |
Mid-level-ontology.kif 4140-4146 | |
| (=> (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 5046-5060 | |
| (=> (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 3991-3999 | |
| (=> (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 17473-17484 | |
| (=> (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 |
|
|
|