ContainerFull
|
|
appearance as argument number 1 |
(contraryAttribute ContainerFull ContainerEmpty) | Mid-level-ontology.kif 1631-1631 | ContainerFull は ContainerEmpty の disjoint では %n |
(documentation ContainerFull EnglishLanguage "ContainerFull is the Attribute of a Container that is full to capacity.") | Mid-level-ontology.kif 1632-1633 | |
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Milk_glass.jpg") | pictureList.kif 10723-10723 | |
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 2/ 22/ Risperdal_tablets.jpg") | pictureList.kif 10724-10724 | |
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ No-carb_pork.jpg") | pictureList.kif 10725-10725 | |
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Line3174_-_Shipping_Containers_at_the_terminal_at_Port_Elizabeth%2C_New_Jersey_-_NOAA.jpg") | pictureList.kif 10729-10729 | |
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Container.JPG") | pictureList.kif 10721-10721 | |
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Recycling_container_front.jpg") | pictureList.kif 10722-10722 | |
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Container_01_KMJ.jpg") | pictureList.kif 9956-9956 | |
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Containerschiff_Elbe_01.jpg") | pictureList.kif 10720-10720 | |
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/en/b/ bb/ Distribution_differences.jpg") | pictureList.kif 10727-10727 | |
(instance ContainerFull RelationalAttribute) | Mid-level-ontology.kif 1630-1630 | ContainerFull は 関係属性 の instance では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage ContainerFull "容器满了") | domainEnglishFormat.kif 16914-16914 | |
(termFormat ChineseTraditionalLanguage ContainerFull "容器滿了") | domainEnglishFormat.kif 16913-16913 | |
(termFormat EnglishLanguage ContainerFull "container full") | domainEnglishFormat.kif 16912-16912 |
antecedent |
(=> (attribute ?C ContainerFull) (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (fills ?S ?C)))) |
Mid-level-ontology.kif 1639-1645 |
|
(=> (attribute ?C ContainerFull) (instance ?C Container)) |
Mid-level-ontology.kif 1635-1637 |