TreeView Knowledge Base Browser

appearance as argument number 1

(documentation WetBar EnglishLanguage "WetBar is a place for preparing food and beverage that has a sink with running water")	Food.kif 327-328
(subclass WetBar Artifact)	Food.kif 326-326	WetBar e' uma sub-classe de Artefato

appearance as argument number 2

(termFormat EnglishLanguage WetBar "wet bar")

Food.kif 329-329

antecedent

(=>
    (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))))

Food.kif 331-348

Objeto e' uma instancia de WetBar
Objeto Objeto Objeto e' uma instancia de WashBasin Objeto e' uma &parte de Objeto Objeto e' uma instancia de Objeto Flat e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Fazer Entidade e' o resultado de Entidade Entidade e' uma instancia de PreparedFood Entidade e' uma instancia de Bebida eventLocated Entidade and Objeto Objeto e' uma &parte de Objeto

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

KB Term:			Term intersection

English Word: