TreeView Knowledge Base Browser

appearance as argument number 1

(documentation WashBasin EnglishLanguage "A WashingDevice which is intended to be used by Humans for washing their Hands.")	Mid-level-ontology.kif 8567-8568
(externalImage WashBasin "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Multi_user_sink.jpg")	pictureList.kif 4851-4851
(subclass WashBasin WashingDevice)	Mid-level-ontology.kif 8566-8566	Wash basin is a subclass of washing device

appearance as argument number 2

(termFormat ChineseLanguage WashBasin "洗手盆")	domainEnglishFormat.kif 62134-62134
(termFormat ChineseTraditionalLanguage WashBasin "洗手盆")	domainEnglishFormat.kif 62133-62133
(termFormat EnglishLanguage WashBasin "wash basin")	domainEnglishFormat.kif 62132-62132

antecedent

(=>
    (instance ?B WashBasin)
    (hasPurpose ?B
        (exists (?W ?H)
            (and
                (instance ?W Washing)
                (instrument ?W ?B)
                (patient ?W ?H)
                (instance ?H Hand)))))

Mid-level-ontology.kif 8570-8578

If a physical is an instance of wash basin,
then the physical 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

(=> (instance ?B Bathroom) (exists (?W) (and (instance ?W WashBasin) (located ?W ?B))))	Mid-level-ontology.kif 13233-13238	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
(=> (instance ?X WetBar) (exists (?SINK ?OBJ) (and (instance ?SINK WashBasin) (part ?SINK ?X) (instance ?OBJ Object) (attribute ?OBJ Flat) (hasPurpose ?OBJ (exists (?PREP ?FOOD) (and (instance ?PREP Making) (result ?PREP ?FOOD) (or (instance ?FOOD PreparedFood) (instance ?FOOD Beverage)) (eventLocated ?PREP ?OBJ)))) (part ?OBJ ?X))))	Mid-level-ontology.kif 25203-25220	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 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 2 and the third object is a part of the object

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: