(=> (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 | 清洁的 是 维护 的 subclass |
(subclass Washing Cleaning) | Mid-level-ontology.kif 5575-5575 | 洗涤 是 清洁的 的 subclass |