| Cleaning | |
| appearance as argument number 1 |
|
|
| (documentation Cleaning EnglishLanguage "Cleaning refers to the Process of removing dirt and arranging things") | Mid-level-ontology.kif 6489-6490 | |
| (subclass Cleaning Maintaining) | Mid-level-ontology.kif 6488-6488 |
| appearance as argument number 2 |
|
|
| (subclass Washing Cleaning) | Mid-level-ontology.kif 6512-6512 | |
| (termFormat ChineseLanguage Cleaning "清洁的") | domainEnglishFormat.kif 15093-15093 | |
| (termFormat ChineseTraditionalLanguage Cleaning "清潔的") | domainEnglishFormat.kif 15092-15092 | |
| (termFormat EnglishLanguage Cleaning "cleaning") | domainEnglishFormat.kif 15091-15091 |
| antecedent |
|
|
| (=> (instance ?X Cleaning) (exists (?OBJ) (and (patient ?X ?OBJ) (holdsDuring (EndFn (WhenFn ?X)) (attribute ?OBJ Clean))))) |
Mid-level-ontology.kif 6492-6499 |
| 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 4028-4041 | |
| (=> (instance ?D CleaningDevice) (hasPurpose ?D (exists (?C) (and (instance ?C Cleaning) (instrument ?C ?D))))) |
Mid-level-ontology.kif 6528-6534 | |
| (=> (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 1934-1944 |
|
|
|