|
|
   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 | 容器 是 持有人 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Bag Container) | Mid-level-ontology.kif 4449-4449 | 袋 是 容器 的 subclass |
| (subclass Box Container) | Mid-level-ontology.kif 4467-4467 | 盒 是 容器 的 subclass |
| (subclass ChestOrCabinet Container) | Mid-level-ontology.kif 4143-4143 | 抽屉柜或柜子 是 容器 的 subclass |
| (subclass Coffin Container) | Mid-level-ontology.kif 4147-4147 | 棺材 是 容器 的 subclass |
| (subclass Compartment Container) | Mid-level-ontology.kif 4157-4157 | 隔室 是 容器 的 subclass |
| (subclass Envelope Container) | Mid-level-ontology.kif 4663-4663 | 信封 是 容器 的 subclass |
| (subclass FluidContainer Container) | Mid-level-ontology.kif 4673-4673 | 液体容器 是 容器 的 subclass |
| (subclass Holster Container) | Mid-level-ontology.kif 1647-1647 | 皮套 是 容器 的 subclass |
| (subclass Mailbox Container) | Mid-level-ontology.kif 4169-4169 | 邮箱 是 容器 的 subclass |
| (subclass Oven Container) | Mid-level-ontology.kif 2311-2311 | 烹饪烤箱 是 容器 的 subclass |
| (subclass Pericardium Container) | Mid-level-ontology.kif 11415-11415 | Pericardium 是 容器 的 subclass |
| (subclass PorousContainer Container) | Mid-level-ontology.kif 4510-4510 | 有孔容器 是 容器 的 subclass |
| (subclass PotOrPan Container) | Mid-level-ontology.kif 2342-2342 | 锅或杅 是 容器 的 subclass |
| (subclass ProductPackage Container) | Economy.kif 5155-5155 | 产品包装 是 容器 的 subclass |
| (subclass ProjectileShell Container) | Mid-level-ontology.kif 1114-1114 | 弹丸壳 是 容器 的 subclass |
| (subclass Refrigerator Container) | Mid-level-ontology.kif 2337-2337 | 冰箱 是 容器 的 subclass |
| (subclass SafeContainer Container) | Mid-level-ontology.kif 2714-2714 | 安全的容器 是 容器 的 subclass |
| (subclass ShipContainer Container) | Transportation.kif 2596-2596 | 船舶集装箱 是 容器 的 subclass |
| (subclass TravelContainer Container) | Mid-level-ontology.kif 4668-4668 | 旅行集装箱 是 容器 的 subclass |
| (subclass Wastebasket Container) | Mid-level-ontology.kif 1659-1659 | 废纸篓 是 容器 的 subclass |
| (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 |
|
|
|
|
