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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContainerEmpty
ContainerEmpty(container empty)
more pictures...
bare, empty, stripped

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


s__documentation(s__ContainerEmpty,s__EnglishLanguage,'"ContainerEmpty is the Attribute of a Container that is empty."')

Mid-level-ontology.kif 1558-1559
s__externalImage(s__ContainerEmpty,'"http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Glass_empty.jpg"')

pictureList.kif 9972-9972
s__externalImage(s__ContainerEmpty,'"http://upload.wikimedia.org/wikipedia/commons/ 2/ 2a/ Containeur_ouvert_%281%29.jpg"')

pictureList.kif 10737-10737
s__externalImage(s__ContainerEmpty,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Containerlader%C3%A4ume_Schiff-2.jpg"')

pictureList.kif 10736-10736
s__externalImage(s__ContainerEmpty,'"http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Empty_refrigerator.jpg"')

pictureList.kif 10739-10739
s__externalImage(s__ContainerEmpty,'"http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Interior_Reefercontainer.JPG"')

pictureList.kif 10738-10738
s__instance(s__ContainerEmpty,s__RelationalAttribute)

s__instance(s__RelationalAttribute,s__SetOrClass)

Mid-level-ontology.kif 1557-1557 Container empty is an instance of relational attribute

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


s__contraryAttribute__2(s__ContainerFull,s__ContainerEmpty)

Mid-level-ontology.kif 1575-1575 Container full is the opposite of container empty
s__termFormat(s__ChineseLanguage,s__ContainerEmpty,'"空容器"')

domainEnglishFormat.kif 16899-16899
s__termFormat(s__ChineseTraditionalLanguage,s__ContainerEmpty,'"空容器"')

domainEnglishFormat.kif 16898-16898
s__termFormat(s__EnglishLanguage,s__ContainerEmpty,'"container empty"')

domainEnglishFormat.kif 16897-16897

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


( ! [V__C] :
   ((s__instance(V__C,s__Object) =>
       ((s__attribute(V__C,s__ContainerEmpty) =>
           (s__instance(V__C,s__Container)))))
     )
   )

Mid-level-ontology.kif 1561-1563
( ! [V__C] :
   (((s__instance(V__C,s__SelfConnectedObject) &
         s__instance(V__C,s__Hole))
       =>
       ((s__attribute(V__C,s__ContainerEmpty) =>
           (~(( ? [V__H, V__S] :
                 ((s__instance(V__S,s__Object) &
                     (s__instance(V__H,s__Hole) &
                       s__hole(V__H,V__C)
                     &
                     s__partiallyFills(V__S,V__C))))))))))
)
)

Mid-level-ontology.kif 1565-1572

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2823-2848


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