Sigma KB Term Intersection

(=> (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	Wenn ObsessiveCompulsiveDisorder ist ein attribut von CognitiveAgent %n{nicht}, dann es gibt Collection und Class um memberType Collection and Class und Class ist eine teilkategorie von Investigating oder Class ist eine teilkategorie von Cleaning und wenn ClassI ist ein fall von Class %n{nicht}, dann ClassI ist der agent von CognitiveAgent %n{nicht} und CognitiveAgent wuenscht ClassI nicht
(subclass Cleaning Maintaining)	Mid-level-ontology.kif 5551-5551	Cleaning ist eine teilkategorie von Maintaining
(subclass Washing Cleaning)	Mid-level-ontology.kif 5575-5575	Washing ist eine teilkategorie von Cleaning