HotTub - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HotTub EnglishLanguage "HotTub refers to a WhirlpoolTub that is capable of heating the water located in it")	Mid-level-ontology.kif 25358-25359
(subclass HotTub WhirlpoolTub)	Mid-level-ontology.kif 25357-25357	HotTub ist eine teilkategorie von WhirlpoolTub

appearance as argument number 2

(termFormat EnglishLanguage HotTub "hot tub")

Mid-level-ontology.kif 25360-25360

antecedent

(=>
    (and
        (instance ?X HotTub)
        (located ?WATER ?X)
        (instance ?WATER Water))
    (modalAttribute
        (exists (?HEAT)
            (and
                (instance ?HEAT Heating)
                (instrument ?HEAT ?X)
                (patient ?HEAT ?WATER))) Possibility))

Mid-level-ontology.kif 25362-25372

Wenn Object ist ein fall von HotTub %n{nicht} und Physical befindet sich an %n{nicht} und ** Physical ist ein fall von Water %n{nicht},
dann die Aussage es gibt entity um ** entity ist ein fall von Heating %n{nicht} und ** Object ist ein instrument fuer ** entity %n{nicht} und ** Physical ist ein patient von ** entity %n{nicht} hat die modale Kraft von Possibility