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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cleaning

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 5552-5553
(subclass Cleaning Maintaining) Mid-level-ontology.kif 5551-5551 清洁的维护subclass

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


(subclass Washing Cleaning) Mid-level-ontology.kif 5575-5575 洗涤清洁的subclass
(termFormat ChineseLanguage Cleaning "清洁的") domainEnglishFormat.kif 15084-15084
(termFormat ChineseTraditionalLanguage Cleaning "清潔的") domainEnglishFormat.kif 15083-15083
(termFormat EnglishLanguage Cleaning "cleaning") domainEnglishFormat.kif 15082-15082

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


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

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


(=>
    (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 4025-4038
(=>
    (instance ?D CleaningDevice)
    (hasPurpose ?D
        (exists (?C)
            (and
                (instance ?C Cleaning)
                (instrument ?C ?D)))))
Mid-level-ontology.kif 5591-5597
(=>
    (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 1923-1933


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