Bottle - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4689-4690
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 284-284
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 48-48
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4688-4688	Bottle is a subclass of fluid container

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11735-11735
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11734-11734
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11733-11733

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4698-4708	If a self connected object is an instance of bottle and the bottom of the self connected object is another self connected object and the top of the self connected object is a third self connected object and an unit of measure is an instance of unit of length and the width of the other self connected object is a real number the unit of measure(s) and the width of the third self connected object is another real number the unit of measure(s), then the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4692-4696	If a self connected object is an instance of bottle and the self connected object contains an object, then liquid is an attribute of the object

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