ContainerEmpty(空容器) more pictures... |
appearance as argument number 1 |
(documentation ContainerEmpty EnglishLanguage "ContainerEmpty is the Attribute of a Container that is empty.") | Mid-level-ontology.kif 1614-1615 | |
(externalImage ContainerEmpty "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Glass_empty.jpg") | pictureList.kif 9955-9955 | |
(externalImage ContainerEmpty "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ Containeur_ouvert_%281%29.jpg") | pictureList.kif 10717-10717 | |
(externalImage ContainerEmpty "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Containerlader%C3%A4ume_Schiff-2.jpg") | pictureList.kif 10716-10716 | |
(externalImage ContainerEmpty "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Empty_refrigerator.jpg") | pictureList.kif 10719-10719 | |
(externalImage ContainerEmpty "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Interior_Reefercontainer.JPG") | pictureList.kif 10718-10718 | |
(instance ContainerEmpty RelationalAttribute) | Mid-level-ontology.kif 1613-1613 | 空容器 是 关联属性 的 instance |
appearance as argument number 2 |
(contraryAttribute ContainerFull ContainerEmpty) | Mid-level-ontology.kif 1631-1631 | 容器满了 是 空容器 的相反 |
(termFormat ChineseLanguage ContainerEmpty "空容器") | domainEnglishFormat.kif 16908-16908 | |
(termFormat ChineseTraditionalLanguage ContainerEmpty "空容器") | domainEnglishFormat.kif 16907-16907 | |
(termFormat EnglishLanguage ContainerEmpty "container empty") | domainEnglishFormat.kif 16906-16906 |
antecedent |
(=> (attribute ?C ContainerEmpty) (instance ?C Container)) |
Mid-level-ontology.kif 1617-1619 | |
(=> (attribute ?C ContainerEmpty) (not (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (partiallyFills ?S ?C))))) |
Mid-level-ontology.kif 1621-1628 |
consequent |