GrecianTub - Sigma Knowledge base Browser

appearance as argument number 1

(documentation GrecianTub EnglishLanguage "GrecianTub is a combination of soaking tubs and standard tubs, meaning it has inreased depth for soaking, but can fit into tight spaces by not being as long as standard tubs")	Mid-level-ontology.kif 26527-26529
(subclass GrecianTub BathTub)	Mid-level-ontology.kif 26526-26526	GrecianTub ist eine teilkategorie von BathTub

appearance as argument number 2

(termFormat EnglishLanguage GrecianTub "grecian tub")

Mid-level-ontology.kif 26530-26530

antecedent

(=>
    (instance ?X GrecianTub)
    (hasPurpose ?X
        (exists (?HUMAN ?SOAK)
            (and
                (instance ?SOAK Soaking)
                (instance ?HUMAN Human)
                (agent ?SOAK ?HUMAN)
                (patient ?SOAK ?HUMAN)
                (eventLocated ?SOAK ?X)))))

Mid-level-ontology.kif 26532-26541

Wenn Physical ist ein fall von GrecianTub %n{nicht},
dann ** Physical hat Zweck von es gibt entity und ** entity um ** ** entity ist ein fall von Soaking %n{nicht} und ** entity ist ein fall von Human %n{nicht} und ** ** entity ist der agent von ** entity %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und eventLocated ** ** entity and ** Physical %n{nicht}

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

KB Term:			Term intersection

English Word: