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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WhirlpoolTub
WhirlpoolTub

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 WhirlpoolTub液体容器subclass

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


(subclass HotTub WhirlpoolTub) Mid-level-ontology.kif 25300-25300 HotTubWhirlpoolTubsubclass
(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 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