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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cleaning
Cleaning

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


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

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


(subclass Washing Cleaning) Mid-level-ontology.kif 5267-5267
(termFormat ChineseLanguage Cleaning "清洁的") domainEnglishFormat.kif 15087-15087
(termFormat ChineseTraditionalLanguage Cleaning "清潔的") domainEnglishFormat.kif 15086-15086
(termFormat EnglishLanguage Cleaning "cleaning") domainEnglishFormat.kif 15085-15085

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


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

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


(=>
    (instance ?D CleaningDevice)
    (hasPurpose ?D
        (exists (?C)
            (and
                (instance ?C Cleaning)
                (instrument ?C ?D)))))
Mid-level-ontology.kif 5283-5289
(=>
    (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 1898-1908


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