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	Processo e' uma instancia de Deciding Processo e' um agente de Agente Cognitivo Conjunto e' uma instancia de Conjunto Conjunto e' um patient de Processo Entidade e' um elemento de Conjunto Agente Cognitivo acredita que Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Processo Intencional Agente Cognitivo e' capaz de fazer Entidade no role agent
(subclass Deciding Selecting)	Merge.kif 12028-12028	Deciding e' uma sub-classe de Selecionar
(subclass Resolution Deciding)	Mid-level-ontology.kif 16053-16053	Resolution e' uma sub-classe de Deciding
(subclass GameCall Deciding)	Mid-level-ontology.kif 16274-16274	GameCall e' uma sub-classe de Deciding