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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bottle
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 5014-5015
(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 5013-5013

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


(termFormat EnglishLanguage Bottle "bottle") domainEnglishFormat.kif 2379-2379

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


(=>
    (and
        (instance ?BOTTLE Bottle)
        (bottom ?BOTTOM ?BOTTLE)
        (top ?TOP ?BOTTLE)
        (width ?BOTTOM ?WIDTH1)
        (width ?TOP ?WIDTH2))
    (lessThan ?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 5023-5030
(=>
    (and
        (instance ?BOTTLE Bottle)
        (contains ?BOTTLE ?STUFF))
    (attribute ?STUFF Liquid))
Mid-level-ontology.kif 5017-5021


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