| 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 11838-11840 | |
| (subclass Deciding Selecting) | Merge.kif 11837-11837 |
| appearance as argument number 2 |
|
|
| (subclass GameCall Deciding) | Mid-level-ontology.kif 15696-15696 | |
| (subclass Resolution Deciding) | Mid-level-ontology.kif 15479-15479 | |
| (subclass Voting Deciding) | Merge.kif 11851-11851 | |
| (termFormat ChineseLanguage Deciding "决定") | domainEnglishFormat.kif 18813-18813 | |
| (termFormat ChineseTraditionalLanguage Deciding "決定") | domainEnglishFormat.kif 18812-18812 | |
| (termFormat EnglishLanguage Deciding "deciding") | domainEnglishFormat.kif 18811-18811 |
| antecedent |
|
|
| (=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (patient ?DECIDE ?PROCESS)) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT))) |
Merge.kif 11842-11849 |
| consequent |
|
|
| (=> (instance ?DECISION LegalDecision) (exists (?DECIDE) (and (instance ?DECIDE Deciding) (earlier (WhenFn ?DECIDE) (WhenFn ?DECISION))))) |
Merge.kif 10689-10694 | |
| (=> (ratingsAgent ?RATING ?AGENT) (exists (?PROCESS) (and (instance ?PROCESS Deciding) (agent ?PROCESS ?AGENT) (result ?PROCESS ?RATING)))) |
Hotel.kif 2982-2988 |
|
|
|