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 12036-12048	工程は Deciding の instance では %n 認識エージェントは工程の agent では %n セットはセットの instance では %n セットは工程の patient では %n エンティティーはセットの element %n 認識エージェントはエンティティーエンティティーはエンティティーの instance では %n エンティティーは意図的なプロセスの subclass では %n 認識エージェントはエンティティーを agent として行う capable では %n を believes %n{ない}
(subclass Deciding Selecting)	Merge.kif 12028-12028	Deciding は選択の subclass では %n
(subclass Resolution Deciding)	Mid-level-ontology.kif 16053-16053	Resolution は Deciding の subclass では %n
(subclass GameCall Deciding)	Mid-level-ontology.kif 16274-16274	GameCall は Deciding の subclass では %n