(=> (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 | |
(subclass Deciding Selecting) | Merge.kif 12028-12028 | 子類 決定 and Selecting |
(subclass Resolution Deciding) | Mid-level-ontology.kif 16053-16053 | 子類 解析度 and 決定 |
(subclass GameCall Deciding) | Mid-level-ontology.kif 16274-16274 | 子類 比賽電話 and 決定 |