more pictures...
| ContainerFull(container full)
more pictures... | | full |
| appearance as argument number 1 |
|
|
| (contraryAttribute ContainerFull ContainerEmpty) | Mid-level-ontology.kif 1631-1631 | Container full is the opposite of container empty |
| (documentation ContainerFull EnglishLanguage "ContainerFull is the Attribute of a Container that is full to capacity.") | Mid-level-ontology.kif 1632-1633 | Container full is the opposite of container empty |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Milk_glass.jpg") | pictureList.kif 10723-10723 | Container full is the opposite of container empty |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 2/ 22/ Risperdal_tablets.jpg") | pictureList.kif 10724-10724 | Container full is the opposite of container empty |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ No-carb_pork.jpg") | pictureList.kif 10725-10725 | Container full is the opposite of container empty |
| (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 | Container full is the opposite of container empty |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Container.JPG") | pictureList.kif 10721-10721 | Container full is the opposite of container empty |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Recycling_container_front.jpg") | pictureList.kif 10722-10722 | Container full is the opposite of container empty |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Container_01_KMJ.jpg") | pictureList.kif 9956-9956 | Container full is the opposite of container empty |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Containerschiff_Elbe_01.jpg") | pictureList.kif 10720-10720 | Container full is the opposite of container empty |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/en/b/ bb/ Distribution_differences.jpg") | pictureList.kif 10727-10727 | Container full is the opposite of container empty |
| (instance ContainerFull RelationalAttribute) | Mid-level-ontology.kif 1630-1630 | Container full is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ContainerFull "容器满了") | domainEnglishFormat.kif 16930-16930 | |
| (termFormat ChineseTraditionalLanguage ContainerFull "容器滿了") | domainEnglishFormat.kif 16929-16929 | |
| (termFormat EnglishLanguage ContainerFull "container full") | domainEnglishFormat.kif 16928-16928 |
| 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 |
|
|
|
|