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 12053-12055 | |
(subclass Deciding Selecting) | Merge.kif 12052-12052 | Deciding e' uma sub-classe de Selecionar |
appearance as argument number 2 |
(subclass GameCall Deciding) | Mid-level-ontology.kif 16302-16302 | GameCall e' uma sub-classe de Deciding |
(subclass Resolution Deciding) | Mid-level-ontology.kif 16081-16081 | Resolution e' uma sub-classe de 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 10835-10842 |