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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContainerFull
ContainerFull(容器满了)
more pictures...

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


(contraryAttribute ContainerFull ContainerEmpty) Mid-level-ontology.kif 1638-1638 容器满了空容器 的相反
(documentation ContainerFull EnglishLanguage "ContainerFull is the Attribute of a Container that is full to capacity.") Mid-level-ontology.kif 1639-1640
(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 1637-1637 容器满了关联属性instance

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 1646-1652
(=>
    (attribute ?C ContainerFull)
    (instance ?C Container))
Mid-level-ontology.kif 1642-1644


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



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