Deciding(deciding) | ![]() | acknowledge, adjudicate, adjust, assessment, assign, attribute, bet, calculate, choose, conclude, conclusion, consider, count, decide, decision, depend, determination, determine, evaluate, filiate, finding_of_fact, judge, judgement, judgment, look, make_up_one's_mind, move, pass_judgment, purpose, reappraise, reason, reason_out, receive, reckon, reconsider, resolution, resolve, set, settle, value_judgement, value_judgment, verdict |
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 12063-12065 | |
(subclass Deciding Selecting) | Merge.kif 12062-12062 | Deciding is a subclass of selecting |
appearance as argument number 2 |
![]() |
(subclass GameCall Deciding) | Mid-level-ontology.kif 16525-16525 | Game call is a subclass of deciding |
(subclass Resolution Deciding) | Mid-level-ontology.kif 16304-16304 | Resolution is a subclass of deciding |
(termFormat ChineseLanguage Deciding "决定") | domainEnglishFormat.kif 18833-18833 | Resolution is a subclass of deciding |
(termFormat ChineseTraditionalLanguage Deciding "決定") | domainEnglishFormat.kif 18832-18832 | Resolution is a subclass of deciding |
(termFormat EnglishLanguage Deciding "deciding") | domainEnglishFormat.kif 18831-18831 | Resolution is a subclass of deciding |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?DECISION LegalDecision) (exists (?DECIDE) (and (instance ?DECIDE Deciding) (result ?DECIDE ?LD) (instance ?DECISION ?LD) (earlier (WhenFn ?DECIDE) (WhenFn ?DECISION))))) |
Merge.kif 10845-10852 |
|
![]() |
![]() |