Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Deciding
Deciding(deciding)acknowledge, adjudicate, adjust, assessment, assign, attribute, bet, calculate, choose, conclude, conclusion, consider, count, decide, deciding, 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, 决定, 決定

VerbNet: correspond-36.1|decide, rely-70|bet, rely-70|bet, deduce-97.2|conclude, rely-70|bet, rely-70|bet, declare-29.4|judge, rely-70|bet, correspond-36.1|decide, declare-29.4|judge, price-54.4|reappraise, deduce-97.2|conclude, deduce-97.2|conclude, rely-70|bet, correspond-36.1|decide,


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners