more pictures...
| ContainerFull
more pictures... | |
| appearance as argument number 1 |
|
|
| (contraryAttribute ContainerFull ContainerEmpty) | Mid-level-ontology.kif 1575-1575 | |
| (documentation ContainerFull EnglishLanguage "ContainerFull is the Attribute of a Container that is full to capacity.") | Mid-level-ontology.kif 1576-1577 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Milk_glass.jpg") | pictureList.kif 10744-10744 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 2/ 22/ Risperdal_tablets.jpg") | pictureList.kif 10745-10745 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ No-carb_pork.jpg") | pictureList.kif 10746-10746 | |
| (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 10750-10750 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Container.JPG") | pictureList.kif 10742-10742 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Recycling_container_front.jpg") | pictureList.kif 10743-10743 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Container_01_KMJ.jpg") | pictureList.kif 9974-9974 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Containerschiff_Elbe_01.jpg") | pictureList.kif 10741-10741 | |
| (externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/en/b/ bb/ Distribution_differences.jpg") | pictureList.kif 10748-10748 | |
| (instance ContainerFull RelationalAttribute) | Mid-level-ontology.kif 1574-1574 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ContainerFull "容器满了") | domainEnglishFormat.kif 16905-16905 | |
| (termFormat ChineseTraditionalLanguage ContainerFull "容器滿了") | domainEnglishFormat.kif 16904-16904 | |
| (termFormat EnglishLanguage ContainerFull "container full") | domainEnglishFormat.kif 16903-16903 |
| antecedent |
|
|
| (=> (attribute ?C ContainerFull) (exists (?H ?S) (and (instance ?H Hole) (hole ?H ?C) (fills ?S ?C)))) |
Mid-level-ontology.kif 1583-1589 | |
| (=> (attribute ?C ContainerFull) (instance ?C Container)) |
Mid-level-ontology.kif 1579-1581 |
|
|
|