TreeView Knowledge Base Browser - WaterHeater

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - WaterHeater

WaterHeater(water heater)

hot-water_heater, hot-water_tank, water_heater

appearance as argument number 1

(subclass WaterHeater HeatingDevice)

Mid-level-ontology.kif 25660-25660

Water heater is a subclass of heating device

appearance as argument number 2

(termFormat EnglishLanguage WaterHeater "water heater")

domainEnglishFormat.kif 65723-65723

antecedent

(=> (and (instance ?X HeatedPool) (contains ?X ?WATER) (instance ?WATER FreshWater) (part ?X ?HEATER) (instance ?HEATER WaterHeater) (attribute ?HEATER DeviceOn)) (attribute ?WATER WarmTemperature))	Mid-level-ontology.kif 26829-26837	If a self connected object is an instance of heated pool and the self connected object contains an object and the object is an instance of freshwater and the self connected object is a part of another object and the other object is an instance of water heater and device on is an attribute of the other object, then warm is an attribute of the object
(=> (instance ?X WaterHeater) (hasPurpose ?X (exists (?HEAT ?WATER) (and (instance ?HEAT Heating) (instance ?WATER FreshWater) (patient ?HEAT ?WATER) (instrument ?HEAT ?X)))))	Mid-level-ontology.kif 25662-25670	If a physical is an instance of water heater, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of heating and the other entity is an instance of freshwater and the other entity is a patient of the entity and the physical is an instrument for the entity

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