(=> (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 |
|
(subclass Cleaning Maintaining) | Mid-level-ontology.kif 5551-5551 | Cleaning is a subclass of maintaining |
(subclass Washing Cleaning) | Mid-level-ontology.kif 5575-5575 | Washing is a subclass of cleaning |