(=> (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 12923-12923 | |
(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 13932-13932 | |
(subclass Polling Investigating) | Mid-level-ontology.kif 13948-13948 | |
(subclass Experimenting Investigating) | Merge.kif 12949-12949 | |
(subclass DiagnosticProcess Investigating) | Merge.kif 12954-12954 | |
(subclass Searching Investigating) | Merge.kif 12965-12965 | |
(subclass GramStaining Investigating) | Medicine.kif 5343-5343 |