Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  WhirlpoolTub

Sigma KEE - WhirlpoolTub
WhirlpoolTub(whirlpool tub)

appearance as argument number 1
-------------------------


(documentation WhirlpoolTub EnglishLanguage "WhirlpoolTub refers to a FluidContainer used by Humans for relaxation with jets used to create water currents to massage the body") Mid-level-ontology.kif 25278-25280
(subclass WhirlpoolTub FluidContainer) Mid-level-ontology.kif 25277-25277 Whirlpool tub is a subclass of fluid container

appearance as argument number 2
-------------------------


(subclass HotTub WhirlpoolTub) Mid-level-ontology.kif 25300-25300 Hot tub is a subclass of whirlpool tub
(termFormat EnglishLanguage WhirlpoolTub "whirlpool tub") Mid-level-ontology.kif 25281-25281

antecedent
-------------------------


(=>
    (and
        (instance ?X WhirlpoolTub)
        (attribute ?X DoubleSize))
    (modalAttribute
        (exists (?T1)
            (holdsDuring ?T1
                (exists (?P1 ?P2)
                    (and
                        (instance ?P1 Human)
                        (instance ?P2 Human)
                        (not
                            (equal ?P1 ?P2))
                        (located ?P1 ?X)
                        (located ?P2 ?X))))) Possibility))
Mid-level-ontology.kif 25333-25346
(=>
    (instance ?TUB WhirlpoolTub)
    (exists (?VALVE)
        (and
            (instance ?VALVE PressureControlValve)
            (part ?VALVE ?TUB)
            (hasPurpose ?VALVE
                (exists (?WATER ?CREATION ?MOTION)
                    (and
                        (instance ?WATER Water)
                        (located ?WATER ?TUB)
                        (instance ?CREATION Creation)
                        (instrument ?CREATION ?VALVE)
                        (result ?CREATION ?MOTION)
                        (instance ?MOTION Motion)
                        (located ?MOTION ?WATER)))))))
Mid-level-ontology.kif 25283-25298


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