WashBasin - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - WashBasin

WashBasin(wash basin)

basin, kitchen_sink, lavatory, sink, washbasin, washbowl, washstand

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8911-8912
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4850-4850
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8910-8910	Wash basin is a subclass of washing device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62249-62249
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62248-62248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62247-62247

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 8914-8922

If a physical is an instance of wash basin,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of washing and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of hand

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15524-15529	If an object is an instance of bathroom, then there exists a physical such that the physical is an instance of wash basin and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Food.kif 331-348	If an object is an instance of wet bar, then there exist another object and a third object such that the other object is an instance of wash basin and the other object is a part of the object and the third object is an instance of object and flat is an attribute of the third object and the third object has the purpose there exist an entity and another entity such that the entity is an instance of making and the other entity is a result of the entity and the other entity is an instance of prepared food or the other entity is an instance of beverage and the entity is located at the third object and the third object is a part 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