Sigma KB Term Intersection

(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (instance ?S Set) (patient ?DECIDE ?S) (element ?M ?S)) (believes ?AGENT (exists (?CLASS) (and (instance ?M ?CLASS) (subclass ?CLASS IntentionalProcess) (capability ?CLASS agent ?AGENT)))))	Merge.kif 12014-12026	Wenn Process ist ein fall von Deciding %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Set ist ein fall von Set %n{nicht} und Set ist ein patient von Process %n{nicht} und Entity ist ein element von Set %n{nicht}, dann CognitiveAgent glaubt %n{nicht}, dass es gibt entity um Entity ist ein fall von entity %n{nicht} und entity ist eine teilkategorie von IntentionalProcess und CognitiveAgent ist faehig %n{nicht}, in der Rolle agent entity zu tun
(subclass Deciding Selecting)	Merge.kif 12006-12006	Deciding ist eine teilkategorie von Selecting
(subclass Resolution Deciding)	Mid-level-ontology.kif 16054-16054	Resolution ist eine teilkategorie von Deciding
(subclass GameCall Deciding)	Mid-level-ontology.kif 16275-16275	GameCall ist eine teilkategorie von Deciding