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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bottle
Bottle(bottle)
beer_bottle, bottle, canteen, catsup_bottle, feeding_bottle, flask, ketchup_bottle, nursing_bottle, water_bottle, whiskey_bottle, wine_bottle, 瓶子

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


(documentation Bottle EnglishLanguage "A Container whose top is narrower than its bottom, which has no handle, and which is intended to store Liquids.") Mid-level-ontology.kif 5009-5010
(externalImage Bottle "http://upload.wikimedia.org/wikipedia/commons/d/dc/ Bottle.agr.jpg") pictureList.kif 48-48 "http://upload.wikimedia.org/wikipedia/commons/d/dc/ Bottle.agr.jpg" is a URL depicting bottle
(externalImage Bottle "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ people/ baby/ bottle.png") pictureList.kif 284-284 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ baby/ bottle.png" is a URL depicting bottle
(subclass Bottle FluidContainer) Mid-level-ontology.kif 5008-5008 Bottle is a subclass of fluid container

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


(termFormat ChineseLanguage Bottle "瓶子") domainEnglishFormat.kif 11677-11677 "瓶子" is the printable form of bottle in ChineseLanguage
(termFormat ChineseTraditionalLanguage Bottle "瓶子") domainEnglishFormat.kif 11676-11676 "瓶子" is the printable form of bottle in ChineseTraditionalLanguage
(termFormat EnglishLanguage Bottle "bottle") domainEnglishFormat.kif 11675-11675 "bottle" is the printable form of bottle in english language

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


(=>
    (and
        (instance ?BOTTLE Bottle)
        (bottom ?BOTTOM ?BOTTLE)
        (top ?TOP ?BOTTLE)
        (width ?BOTTOM ?WIDTH1)
        (width ?TOP ?WIDTH2))
    (lessThan ?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 5018-5025
(=>
    (and
        (instance ?BOTTLE Bottle)
        (contains ?BOTTLE ?STUFF))
    (attribute ?STUFF Liquid))
Mid-level-ontology.kif 5012-5016


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners