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


KB Term:  Term intersection
English Word: 

  ContainerFull

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