| Deciding | |
| appearance as argument number 1 |
|
|
| (documentation Deciding ChineseLanguage "这是 Selecting 过程的子类别，这发生在当 agent 从一组可以由他/ 她自由决定的多种可能性的行动方针中，选择一套行动方针时。") | chinese_format.kif 3122-3123 | |
| (documentation Deciding EnglishLanguage "The subclass of Selecting where the agent opts for one course of action out of a set of multiple possibilities that are open to him/ her.") | Merge.kif 12112-12114 | |
| (subclass Deciding Selecting) | Merge.kif 12111-12111 |
| appearance as argument number 2 |
|
|
| (subclass GameCall Deciding) | Mid-level-ontology.kif 17672-17672 | |
| (subclass Resolution Deciding) | Mid-level-ontology.kif 17451-17451 | |
| (termFormat ChineseLanguage Deciding "决定") | domainEnglishFormat.kif 18837-18837 | |
| (termFormat ChineseTraditionalLanguage Deciding "決定") | domainEnglishFormat.kif 18836-18836 | |
| (termFormat EnglishLanguage Deciding "deciding") | domainEnglishFormat.kif 18835-18835 |
| antecedent |
|
|
| (=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A)))))) |
Merge.kif 12151-12167 | |
| (=> (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 12119-12131 |
| consequent |
|
|
| (=> (instance ?DECISION LegalDecision) (exists (?DECIDE) (and (instance ?DECIDE Deciding) (result ?DECIDE ?LD) (instance ?DECISION ?LD) (earlier (WhenFn ?DECIDE) (WhenFn ?DECISION))))) |
Merge.kif 10894-10901 |
|
|
|