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 12007-12009 | |
(subclass Deciding Selecting) | Merge.kif 12006-12006 | Deciding is a subclass of selecting |
appearance as argument number 2 |
(subclass GameCall Deciding) | Mid-level-ontology.kif 16275-16275 | Game call is a subclass of deciding |
(subclass Resolution Deciding) | Mid-level-ontology.kif 16054-16054 | Resolution is a subclass of deciding |
(termFormat ChineseLanguage Deciding "决定") | domainEnglishFormat.kif 18822-18822 | |
(termFormat ChineseTraditionalLanguage Deciding "決定") | domainEnglishFormat.kif 18821-18821 | |
(termFormat EnglishLanguage Deciding "deciding") | domainEnglishFormat.kif 18820-18820 |
antecedent |
consequent |
(=> (instance ?DECISION LegalDecision) (exists (?DECIDE) (and (instance ?DECIDE Deciding) (result ?DECIDE ?LD) (instance ?DECISION ?LD) (earlier (WhenFn ?DECIDE) (WhenFn ?DECISION))))) |
Merge.kif 10801-10808 |
|