more pictures...
| ContainerFull
more pictures... | |
| appearance as argument number 1 |
|
|
| (contraryAttribute ContainerFull ContainerEmpty) | Mid-level-ontology.kif 2101-2101 | |
| (documentation ContainerFull EnglishLanguage "ContainerFull is the Attribute of a Container that is full to capacity.") | Mid-level-ontology.kif 2102-2103 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Milk_glass.jpg") | pictureList.kif 10721-10721 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 2/ 22/ Risperdal_tablets.jpg") | pictureList.kif 10722-10722 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ No_carb_pork.jpg") | pictureList.kif 10723-10723 | |
| (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 10727-10727 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Container.JPG") | pictureList.kif 10719-10719 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Recycling_container_front.jpg") | pictureList.kif 10720-10720 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Container_01_KMJ.jpg") | pictureList.kif 9955-9955 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Containerschiff_Elbe_01.jpg") | pictureList.kif 10718-10718 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/en/b/ bb/ Distribution_differences.jpg") | pictureList.kif 10725-10725 | |
| (instance ContainerFull RelationalAttribute) | Mid-level-ontology.kif 2100-2100 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ContainerFull "容器满了") | domainEnglishFormat.kif 16923-16923 | |
| (termFormat ChineseTraditionalLanguage ContainerFull "容器滿了") | domainEnglishFormat.kif 16922-16922 | |
| (termFormat EnglishLanguage ContainerFull "container full") | domainEnglishFormat.kif 16921-16921 |
| antecedent |
|
|
| (=> (attribute ?C ContainerFull) (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (fills ?S ?C)))) |
Mid-level-ontology.kif 2109-2115 | |
| (=> (attribute ?C ContainerFull) (instance ?C Container)) |
Mid-level-ontology.kif 2105-2107 |
|
|
|