Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ContainerFull
ContainerFull(container full)
more pictures...		full

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


(instance ContainerFull RelationalAttribute) Mid-level-ontology.kif 2169-2169 Container full is an instance of relational attribute
(contraryAttribute ContainerFull ContainerEmpty) Mid-level-ontology.kif 2170-2170 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 2171-2172 Container full is the opposite of container empty
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Container_01_KMJ.jpg") pictureList.kif 9955-9955 Container full is the opposite of container empty
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Containerschiff_Elbe_01.jpg") pictureList.kif 10718-10718 Container full is the opposite of container empty
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Container.JPG") pictureList.kif 10719-10719 Container full is the opposite of container empty
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Recycling_container_front.jpg") pictureList.kif 10720-10720 Container full is the opposite of container empty
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Milk_glass.jpg") pictureList.kif 10721-10721 Container full is the opposite of container empty
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 2/ 22/ Risperdal_tablets.jpg") pictureList.kif 10722-10722 Container full is the opposite of container empty
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ No_carb_pork.jpg") pictureList.kif 10723-10723 Container full is the opposite of container empty
(externalImage ContainerFull "http://upload.wikimedia.org/wikipedia/en/b/ bb/ Distribution_differences.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 10727-10727 Container full is the opposite of container empty

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ContainerFull "container full") domainEnglishFormat.kif 16914-16914
(termFormat ChineseTraditionalLanguage ContainerFull "容器滿了") domainEnglishFormat.kif 16915-16915
(termFormat ChineseLanguage ContainerFull "容器满了") domainEnglishFormat.kif 16916-16916

antecedent
-------------------------


(=>
    (attribute ?C ContainerFull)
    (instance ?C Container))		 Mid-level-ontology.kif 2174-2176 If container full is an attribute of X, then X is an instance of container
(=>
    (attribute ?C ContainerFull)
    (exists (?H ?S)
        (and
            (instance ?H HoleRegion)
            (hole ?H ?C)
            (fills ?S ?C))))		 Mid-level-ontology.kif 2178-2184 If container full is an attribute of X, then there exist Y, Z such that Y is an instance of hole, Y is a hole in X, and Z fills X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners