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


KB Term:  Term intersection
English Word: 

  Cleaning

 Sigma KEE - Cleaning
Cleaning(cleaning)brush, clean, clean_house, cleanse, dust, houseclean, make_clean, pick, rinse, sponge_down, sponge_off, steam, steam_clean, sweep, wash

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


(subclass Cleaning Maintaining) Mid-level-ontology.kif 6670-6670 Cleaning is a subclass of maintaining
(documentation Cleaning EnglishLanguage "Cleaning refers to the Process of removing dirt and arranging things") Mid-level-ontology.kif 6671-6672 Cleaning is a subclass of maintaining

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


(subclass Washing Cleaning) Mid-level-ontology.kif 6694-6694 Washing is a subclass of cleaning
(termFormat EnglishLanguage Cleaning "cleaning") domainEnglishFormat.kif 15084-15084 Washing is a subclass of cleaning
(termFormat ChineseTraditionalLanguage Cleaning "清潔的") domainEnglishFormat.kif 15085-15085 Washing is a subclass of cleaning
(termFormat ChineseLanguage Cleaning "清洁的") domainEnglishFormat.kif 15086-15086 Washing is a subclass of cleaning

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


(=>
    (instance ?X Cleaning)
    (exists (?OBJ)
        (and
            (patient ?X ?OBJ)
            (holdsDuring
                (EndFn
                    (WhenFn ?X))
                (attribute ?OBJ Clean)))))		 Mid-level-ontology.kif 6674-6681 If X is an instance of cleaning, then there exists Y such that Y is a patient of X and clean is an attribute of Y holds during the end of the time of existence of X

consequent
-------------------------


(=>
    (instance ?D CleaningDevice)
    (hasPurpose ?D
        (exists (?C)
            (and
                (instance ?C Cleaning)
                (instrument ?C ?D)))))		 Mid-level-ontology.kif 6710-6716 If X is an instance of cleaning device, then X has the purpose there exists Y such that Y is an instance of cleaning and X is an instrument for Y
(=>
    (instance ?X RoomCleaningService)
    (exists (?MAID ?PLACE ?CLEAN)
        (and
            (attribute ?MAID Maid)
            (serviceProvider ?X ?MAID)
            (located ?X ?PLACE)
            (subProcess ?CLEAN ?X)
            (instance ?CLEAN Cleaning)
            (patient ?CLEAN ?PLACE)
            (agent ?CLEAN ?MAID))))		 Hotel.kif 1941-1951 If X is an instance of service, then All of the following hold: (1) there exist Y, Z (2) W such that maid is an attribute of Y (3) Y provides a service during X (4) X is located at Z (5) W is a subprocess of X (6) W is an instance of cleaning (7) Z is a patient of W (8) Y is an agent of W
(=>
    (attribute ?H ObsessiveCompulsiveDisorder)
    (exists (?COL ?C)
        (and
            (memberType ?COL ?C)
            (or
                (subclass ?C Investigating)
                (subclass ?C Cleaning))
            (=>
                (instance ?CI ?C)
                (and
                    (agent ?CI ?H)
                    (not
                        (wants ?H ?CI)))))))		 Medicine.kif 4059-4072 If obsessive–compulsive disorder is an attribute of X, then there exist Y, Z such that Z is a member type of Y, Z is a subclass of investigating or Z is a subclass of cleaning, W is an instance of ZX is an agent of W, and X doesn't want W
(=>
    (instance ?VC VacuumCleaner)
    (hasPurpose ?VC
        (exists (?CLEAN)
            (and
                (instance ?CLEAN Cleaning)
                (instrument ?CLEAN ?VC)))))		 Society.kif 718-724 If X is an instance of vacuum cleaner, then X has the purpose there exists Y such that Y is an instance of cleaning and X is an instrument for Y


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