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 5546-5547
(subclass Cleaning Maintaining) Mid-level-ontology.kif 5545-5545 Cleaning è una sottoclasse di Mantenere

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


(subclass Washing Cleaning) Mid-level-ontology.kif 5569-5569 Washing è una sottoclasse di Cleaning
(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 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