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

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


(subclass Washing Cleaning) Mid-level-ontology.kif 5575-5575 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 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 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