(=> (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 Investigating IntentionalProcess) | Merge.kif 12945-12945 | |
(subclass ResearchingWeaponOfMassDestruction Investigating) | WMD.kif 720-720 | |
(subclass ReconnaissanceOperation Investigating) | MilitaryProcesses.kif 674-674 | |
(subclass OffensiveInformationOperation Investigating) | MilitaryProcesses.kif 1891-1891 | |
(subclass Espionage Investigating) | Mid-level-ontology.kif 13931-13931 | |
(subclass Polling Investigating) | Mid-level-ontology.kif 13947-13947 | |
(subclass Experimenting Investigating) | Merge.kif 12971-12971 | |
(subclass DiagnosticProcess Investigating) | Merge.kif 12976-12976 | |
(subclass Searching Investigating) | Merge.kif 12987-12987 | |
(subclass GramStaining Investigating) | Medicine.kif 5343-5343 |