Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContainerFull

Sigma KEE - ContainerFull
ContainerFull
more pictures...

appearance as argument number 1
-------------------------


(contraryAttribute ContainerFull ContainerEmpty) Mid-level-ontology.kif 1597-1597
(documentation ContainerFull EnglishLanguage "ContainerFull is the Attribute of a Container that is full to capacity.") Mid-level-ontology.kif 1598-1599
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Milk_glass.jpg") pictureList.kif 10733-10733
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 2/ 22/ Risperdal_tablets.jpg") pictureList.kif 10734-10734
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ No-carb_pork.jpg") pictureList.kif 10735-10735
(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 10739-10739
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Container.JPG") pictureList.kif 10731-10731
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Recycling_container_front.jpg") pictureList.kif 10732-10732
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Container_01_KMJ.jpg") pictureList.kif 9964-9964
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Containerschiff_Elbe_01.jpg") pictureList.kif 10730-10730
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/en/b/ bb/ Distribution_differences.jpg") pictureList.kif 10737-10737
(instance ContainerFull RelationalAttribute) Mid-level-ontology.kif 1596-1596

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 1605-1611
(=>
    (attribute ?C ContainerFull)
    (instance ?C Container))
Mid-level-ontology.kif 1601-1603


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners