| Cleaning | |
| appearance as argument number 1 |
|
|
| (documentation Cleaning EnglishLanguage "Cleaning refers to the Process of removing dirt and arranging things") | Mid-level-ontology.kif 6508-6509 | |
| (subclass Cleaning Maintaining) | Mid-level-ontology.kif 6507-6507 |
| appearance as argument number 2 |
|
|
| (subclass Washing Cleaning) | Mid-level-ontology.kif 6531-6531 | |
| (termFormat ChineseLanguage Cleaning "清洁的") | domainEnglishFormat.kif 15099-15099 | |
| (termFormat ChineseTraditionalLanguage Cleaning "清潔的") | domainEnglishFormat.kif 15098-15098 | |
| (termFormat EnglishLanguage Cleaning "cleaning") | domainEnglishFormat.kif 15097-15097 |
| antecedent |
|
|
| (=> (instance ?X Cleaning) (exists (?OBJ) (and (patient ?X ?OBJ) (holdsDuring (EndFn (WhenFn ?X)) (attribute ?OBJ Clean))))) |
Mid-level-ontology.kif 6511-6518 |
| 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 6547-6553 | |
| (=> (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 |
|
|
|