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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cleaning
Cleaning

VerbNet: wipe_instr-10.4.2|brush, other_cos-45.4|clean, wipe_manner-10.4.1|dust, other_cos-45.4|clean, clear-10.3|clean, braid-41.2.2|rinse, wipe_manner-10.4.1|sweep, braid-41.2.2|rinse,


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


(documentation Cleaning EnglishLanguage "Cleaning refers to the Process of removing dirt and arranging things") Mid-level-ontology.kif 5799-5800
(subclass Cleaning Maintaining) Mid-level-ontology.kif 5798-5798

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


(subclass Washing Cleaning) Mid-level-ontology.kif 5822-5822
(termFormat ChineseLanguage Cleaning "清洁的") domainEnglishFormat.kif 15019-15019
(termFormat ChineseTraditionalLanguage Cleaning "清潔的") domainEnglishFormat.kif 15018-15018
(termFormat EnglishLanguage Cleaning "cleaning") domainEnglishFormat.kif 15017-15017

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


(=>
    (instance ?X Cleaning)
    (exists (?OBJ)
        (and
            (patient ?X ?OBJ)
            (holdsDuring
                (EndFn
                    (WhenFn ?X))
                (attribute ?OBJ Clean)))))
Mid-level-ontology.kif 5802-5809

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


(=>
    (instance ?D CleaningDevice)
    (hasPurpose ?D
        (exists (?C)
            (and
                (instance ?C Cleaning)
                (instrument ?C ?D)))))
Mid-level-ontology.kif 5838-5844
(=>
    (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 1871-1881


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 is open source software produced by Articulate Software and its partners