(=> (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 5545-5545 | Cleaning est une sous-classe de maintenir |
(subclass Washing Cleaning) | Mid-level-ontology.kif 5569-5569 | Washing est une sous-classe de Cleaning |