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 5546-5547
(subclass Cleaning Maintaining) Mid-level-ontology.kif 5545-5545 Cleaning維持subclass では %n

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


(subclass Washing Cleaning) Mid-level-ontology.kif 5569-5569 WashingCleaningsubclass では %n
(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 5549-5556

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 5585-5591
(=>
    (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