Cleaning - Sigma Knowledge base Browser

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 is a subclass of maintaining

appearance as argument number 2

(subclass Washing Cleaning)	Mid-level-ontology.kif 5569-5569	Washing is a subclass of cleaning
(termFormat ChineseLanguage Cleaning "清洁的")	domainEnglishFormat.kif 15100-15100	Washing is a subclass of cleaning
(termFormat ChineseTraditionalLanguage Cleaning "清潔的")	domainEnglishFormat.kif 15099-15099	Washing is a subclass of cleaning
(termFormat EnglishLanguage Cleaning "cleaning")	domainEnglishFormat.kif 15098-15098	Washing is a subclass of cleaning

antecedent

(=>
    (instance ?X Cleaning)
    (exists (?OBJ)
        (and
            (patient ?X ?OBJ)
            (holdsDuring
                (EndFn
                    (WhenFn ?X))
                (attribute ?OBJ Clean)))))

Mid-level-ontology.kif 5549-5556

If a process is an instance of cleaning,
then there exists an entity such that the entity is a patient of the process and clean is an attribute of the entity holds during the end of the time of existence of the process

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	If obsessive–compulsive disorder is an attribute of a cognitive agent, then there exist a collection and a class such that the class is a member type of the collection and the class is a subclass of investigating or the class is a subclass of cleaning and if the classI is an instance of the class, then the cognitive agent is an agent of the classI and the cognitive agent doesn't want the classI
(=> (instance ?D CleaningDevice) (hasPurpose ?D (exists (?C) (and (instance ?C Cleaning) (instrument ?C ?D)))))	Mid-level-ontology.kif 5585-5591	If a physical is an instance of cleaning device, then the physical has the purpose there exists an entity such that the entity is an instance of cleaning and the physical is an instrument for the entity
(=> (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	If a service is an instance of service, then there exist a cognitive agent, an object and a process such that maid is an attribute of the cognitive agent and the cognitive agent provides a service during the service and the service is located at the object and the process is a subprocess of the service and the process is an instance of cleaning and the object is a patient of the process and the cognitive agent is an agent of the process

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

KB Term:			Term intersection

English Word: