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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 4689-4690
(externalImage Bottle " baby/ bottle.png") pictureList.kif 284-284
(externalImage Bottle " Bottle.agr.jpg") pictureList.kif 48-48
(subclass Bottle FluidContainer) Mid-level-ontology.kif 4688-4688 Bottle est une sous-classe de FluidContainer

appearance as argument number 2

(termFormat ChineseLanguage Bottle "瓶子") domainEnglishFormat.kif 11735-11735
(termFormat ChineseTraditionalLanguage Bottle "瓶子") domainEnglishFormat.kif 11734-11734
(termFormat EnglishLanguage Bottle "bottle") domainEnglishFormat.kif 11733-11733


        (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 4698-4708
        (instance ?BOTTLE Bottle)
        (contains ?BOTTLE ?STUFF))
    (attribute ?STUFF Liquid))
Mid-level-ontology.kif 4692-4696

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