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 | Container e' uma sub-classe de Holder |
appearance as argument number 2 |
(subclass Bag Container) | Mid-level-ontology.kif 4454-4454 | Bag e' uma sub-classe de Container |
(subclass Box Container) | Mid-level-ontology.kif 4472-4472 | Box e' uma sub-classe de Container |
(subclass ChestOrCabinet Container) | Mid-level-ontology.kif 4150-4150 | ChestOrCabinet e' uma sub-classe de Container |
(subclass Coffin Container) | Mid-level-ontology.kif 4154-4154 | Coffin e' uma sub-classe de Container |
(subclass Compartment Container) | Mid-level-ontology.kif 4164-4164 | Compartment e' uma sub-classe de Container |
(subclass Envelope Container) | Mid-level-ontology.kif 4668-4668 | Envelope e' uma sub-classe de Container |
(subclass FluidContainer Container) | Mid-level-ontology.kif 4678-4678 | FluidContainer e' uma sub-classe de Container |
(subclass Holster Container) | Mid-level-ontology.kif 1654-1654 | Holster e' uma sub-classe de Container |
(subclass Mailbox Container) | Mid-level-ontology.kif 4176-4176 | Mailbox e' uma sub-classe de Container |
(subclass Oven Container) | Mid-level-ontology.kif 2318-2318 | Oven e' uma sub-classe de Container |
(subclass Pericardium Container) | Mid-level-ontology.kif 11388-11388 | Pericardium e' uma sub-classe de Container |
(subclass PorousContainer Container) | Mid-level-ontology.kif 4515-4515 | PorousContainer e' uma sub-classe de Container |
(subclass PotOrPan Container) | Mid-level-ontology.kif 2349-2349 | PotOrPan e' uma sub-classe de Container |
(subclass ProductPackage Container) | Economy.kif 5155-5155 | ProductPackage e' uma sub-classe de Container |
(subclass ProjectileShell Container) | Mid-level-ontology.kif 1121-1121 | ProjectileShell e' uma sub-classe de Container |
(subclass Refrigerator Container) | Mid-level-ontology.kif 2344-2344 | Refrigerator e' uma sub-classe de Container |
(subclass SafeContainer Container) | Mid-level-ontology.kif 2721-2721 | SafeContainer e' uma sub-classe de Container |
(subclass TravelContainer Container) | Mid-level-ontology.kif 4673-4673 | TravelContainer e' uma sub-classe de Container |
(subclass Wastebasket Container) | Mid-level-ontology.kif 1666-1666 | Wastebasket e' uma sub-classe de Container |
(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 |