| 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 11080-11082 | |
| (subclass Deciding Selecting) | Merge.kif 11079-11079 | Deciding is a subclass of selecting |
| appearance as argument number 2 |
|
|
| (subclass GameCall Deciding) | Mid-level-ontology.kif 13921-13921 | Game call is a subclass of deciding |
| (subclass Resolution Deciding) | Mid-level-ontology.kif 13707-13707 | Resolution is a subclass of deciding |
| (subclass Voting Deciding) | Merge.kif 11093-11093 | Voting is a subclass of deciding |
| (termFormat ChineseLanguage Deciding "决定") | domainEnglishFormat.kif 18751-18751 | "决定" is the printable form of deciding in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage Deciding "決定") | domainEnglishFormat.kif 18750-18750 | "決定" is the printable form of deciding in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage Deciding "deciding") | domainEnglishFormat.kif 18749-18749 | "deciding" is the printable form of deciding in english language |
| antecedent |
|
|
| (=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (patient ?DECIDE ?PROCESS)) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT))) |
Merge.kif 11084-11091 |
|
| consequent |
|
|
| (=> (instance ?DECISION LegalDecision) (exists (?DECIDE) (and (instance ?DECIDE Deciding) (earlier (WhenFn ?DECIDE) (WhenFn ?DECISION))))) |
Merge.kif 9965-9970 |
|
| (=> (ratingsAgent ?RATING ?AGENT) (exists (?PROCESS) (and (instance ?PROCESS Deciding) (agent ?PROCESS ?AGENT) (result ?PROCESS ?RATING)))) |
Hotel.kif 2955-2961 |
|
|
|
|