(=> (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 e' uma sub-classe de Preservar |
(subclass Washing Cleaning) | Mid-level-ontology.kif 5575-5575 | Washing e' uma sub-classe de Cleaning |