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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterHeater

Sigma KEE - WaterHeater
WaterHeater

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


(subclass WaterHeater HeatingDevice) Mid-level-ontology.kif 25568-25568

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


(termFormat EnglishLanguage WaterHeater "water heater") domainEnglishFormat.kif 66175-66175

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


(=>
    (and
        (instance ?X HeatedPool)
        (contains ?X ?WATER)
        (instance ?WATER Water)
        (part ?X ?HEATER)
        (instance ?HEATER WaterHeater)
        (attribute ?HEATER DeviceOn))
    (attribute ?WATER WarmTemperature))
Mid-level-ontology.kif 26722-26730
(=>
    (instance ?X WaterHeater)
    (hasPurpose ?X
        (exists (?HEAT ?WATER)
            (and
                (instance ?HEAT Heating)
                (instance ?WATER Water)
                (patient ?HEAT ?WATER)
                (instrument ?HEAT ?X)))))
Mid-level-ontology.kif 25570-25578


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