| 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 4890-4893 | |
| (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 4889-4889 | Container est une sous-classe de Holder |
| appearance as argument number 2 |
|
|
| (subclass Bag Container) | Mid-level-ontology.kif 4899-4899 | Bag est une sous-classe de Container |
| (subclass Box Container) | Mid-level-ontology.kif 4917-4917 | Box est une sous-classe de Container |
| (subclass ChestOrCabinet Container) | Mid-level-ontology.kif 4593-4593 | ChestOrCabinet est une sous-classe de Container |
| (subclass Coffin Container) | Mid-level-ontology.kif 4597-4597 | Coffin est une sous-classe de Container |
| (subclass Compartment Container) | Mid-level-ontology.kif 4607-4607 | Compartment est une sous-classe de Container |
| (subclass Envelope Container) | Mid-level-ontology.kif 5113-5113 | Envelope est une sous-classe de Container |
| (subclass FluidContainer Container) | Mid-level-ontology.kif 5123-5123 | FluidContainer est une sous-classe de Container |
| (subclass Holster Container) | Mid-level-ontology.kif 2117-2117 | Holster est une sous-classe de Container |
| (subclass Mailbox Container) | Mid-level-ontology.kif 4619-4619 | Mailbox est une sous-classe de Container |
| (subclass Oven Container) | Mid-level-ontology.kif 2781-2781 | Oven est une sous-classe de Container |
| (subclass Pericardium Container) | Mid-level-ontology.kif 12719-12719 | Pericardium est une sous-classe de Container |
| (subclass PorousContainer Container) | Mid-level-ontology.kif 4960-4960 | PorousContainer est une sous-classe de Container |
| (subclass PotOrPan Container) | Mid-level-ontology.kif 2812-2812 | PotOrPan est une sous-classe de Container |
| (subclass ProductPackage Container) | Economy.kif 5496-5496 | ProductPackage est une sous-classe de Container |
| (subclass ProjectileShell Container) | Mid-level-ontology.kif 1187-1187 | ProjectileShell est une sous-classe de Container |
| (subclass Refrigerator Container) | Mid-level-ontology.kif 2807-2807 | Refrigerator est une sous-classe de Container |
| (subclass SafeContainer Container) | Mid-level-ontology.kif 3184-3184 | SafeContainer est une sous-classe de Container |
| (subclass ShipContainer Container) | Transportation.kif 2780-2780 | ShipContainer est une sous-classe de Container |
| (subclass TravelContainer Container) | Mid-level-ontology.kif 5118-5118 | TravelContainer est une sous-classe de Container |
| (subclass Wastebasket Container) | Mid-level-ontology.kif 2129-2129 | Wastebasket est une sous-classe de Container |
| (termFormat ChineseLanguage Container "容器") | domainEnglishFormat.kif 16905-16905 | Wastebasket est une sous-classe de Container |
| (termFormat ChineseTraditionalLanguage Container "容器") | domainEnglishFormat.kif 16904-16904 | Wastebasket est une sous-classe de Container |
| (termFormat EnglishLanguage Container "container") | domainEnglishFormat.kif 16903-16903 | Wastebasket est une sous-classe de Container |
| antecedent |
|
|
| (=> (instance ?CONTAINER Container) (hasPurpose ?CONTAINER (exists (?OBJ) (contains ?CONTAINER ?OBJ)))) |
Mid-level-ontology.kif 4895-4897 |
| consequent |
|
|
|
|
|