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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bottle

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 4423-4424
(externalImage Bottle "http://upload.wikimedia.org/wikipedia/commons/d/dc/ Bottle.agr.jpg") pictureList.kif 48-48
(externalImage Bottle "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ people/ baby/ bottle.png") pictureList.kif 284-284
(subclass Bottle FluidContainer) Mid-level-ontology.kif 4422-4422 Bottle is a subclass of fluid container

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


(termFormat ChineseLanguage Bottle "瓶子") domainEnglishFormat.kif 11738-11738
(termFormat ChineseTraditionalLanguage Bottle "瓶子") domainEnglishFormat.kif 11737-11737
(termFormat EnglishLanguage Bottle "bottle") domainEnglishFormat.kif 11736-11736

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


(=>
    (and
        (instance ?BOTTLE Bottle)
        (bottom ?BOTTOM ?BOTTLE)
        (top ?TOP ?BOTTLE)
        (instance ?U UnitOfLength)
        (width ?BOTTOM
            (MeasureFn ?WIDTH1 ?U))
        (width ?TOP
            (MeasureFn ?WIDTH2 ?U)))
    (lessThan ?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 4432-4442
(=>
    (and
        (instance ?BOTTLE Bottle)
        (contains ?BOTTLE ?STUFF))
    (attribute ?STUFF Liquid))
Mid-level-ontology.kif 4426-4430


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 is open source software produced by Articulate Software and its partners