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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WhirlpoolTub

 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 25335-25337
(subclass WhirlpoolTub FluidContainer) Mid-level-ontology.kif 25334-25334 WhirlpoolTub e' uma sub-classe de FluidContainer

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


(subclass HotTub WhirlpoolTub) Mid-level-ontology.kif 25357-25357 HotTub e' uma sub-classe de WhirlpoolTub
(termFormat EnglishLanguage WhirlpoolTub "whirlpool tub") Mid-level-ontology.kif 25338-25338

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 25390-25403
(=>
    (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 25340-25355


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