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

KB Term:  Term intersection
English Word: 

Sigma KEE - WaterPurifier
WaterPurifier(water purifier)

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


(subclass WaterPurifier HouseUtilityAppliance) HouseholdAppliances.kif 995-995 Water purifier is a subclass of house utility appliance
(documentation WaterPurifier EnglishLanguage "A Device designed to remove some undesirable materials/ chemicals from water.") HouseholdAppliances.kif 996-996 Water purifier is a subclass of house utility appliance

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


(termFormat EnglishLanguage WaterPurifier "water purifier") HouseholdAppliances.kif 997-997
(subclass ElectricWaterPurifier WaterPurifier) HouseholdAppliances.kif 1013-1013 Electric water purifier is a subclass of water purifier

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


(=>
    (instance ?DEVICE WaterPurifier)
    (hasPurpose ?DEVICE
        (exists (?WATER ?PROCESS)
            (and
                (instance ?WATER Water)
                (instance ?PROCESS Process)
                (patient ?PROCESS ?WATER)
                (holdsDuring
                    (EndFn
                        (WhenFn ?PROCESS))
                    (attribute ?WATER Clean))))))		 HouseholdAppliances.kif 999-1010 If X is an instance of water purifier, then X has the purpose there exist Y, Z such that Y is an instance of water, Z is an instance of process, Y is a patient of Z, and clean is an attribute of Y holds during the end of the time of existence of Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners