Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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, 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
-------------------------


(subclass Deciding Selecting) Merge.kif 12292-12292 Deciding is a subclass of selecting
(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 12293-12295 Deciding is a subclass of selecting

appearance as argument number 2
-------------------------


(subclass Resolution Deciding) Mid-level-ontology.kif 17662-17662 Resolution is a subclass of deciding
(subclass GameCall Deciding) Mid-level-ontology.kif 17908-17908 Game call is a subclass of deciding
(termFormat EnglishLanguage Deciding "deciding") domainEnglishFormat.kif 18822-18822 Game call is a subclass of deciding
(termFormat ChineseTraditionalLanguage Deciding "決定") domainEnglishFormat.kif 18823-18823 Game call is a subclass of deciding
(termFormat ChineseLanguage Deciding "决定") domainEnglishFormat.kif 18824-18824 Game call is a subclass of deciding

antecedent
-------------------------


(=>
    (and
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?AGENT)
        (instance ?S Set)
        (patient ?DECIDE ?S)
        (element ?M ?S))
    (believes ?AGENT
        (exists (?CLASS)
            (and
                (instance ?M ?CLASS)
                (subclass ?CLASS IntentionalProcess)
                (capability ?CLASS agent ?AGENT)))))		 Merge.kif 12300-12312 If X is an instance of deciding, Y is an agent of X, Z is an instance of set, Z is a patient of X, and W is an element of Z, then Y believes there exists V such that W is an instance of V, V is a subclass of intentional process, and Y is capable of doing V as a agent
(=>
    (and
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?A)
        (patient ?DECIDE ?S)
        (instance ?S Set)
        (result ?DECIDE ?X)
        (instance ?X ContentBearingPhysical))
    (containsFormula ?X
        (holdsDuring
            (FutureFn
                (WhenFn ?DECIDE))
            (exists (?M)
                (and
                    (element ?M ?S)
                    (instance ?M IntentionalProcess)
                    (agent ?M ?A))))))		 Merge.kif 12332-12348 If All of the following hold: (1) X is an instance of deciding (2) Y is an agent of X (3) Z is a patient of X (4) Z is an instance of set (5) W is a result of X (6) W is an instance of content bearing physical, then W contains the formula there exists V such that V is an element of Z, V is an instance of intentional process, and Y is an agent of V holds during after the time of existence of X

consequent
-------------------------


(=>
    (instance ?DECISION LegalDecision)
    (exists (?DECIDE ?LD)
        (and
            (instance ?DECIDE Deciding)
            (result ?DECIDE ?LD)
            (instance ?DECISION ?LD)
            (earlier
                (WhenFn ?DECIDE)
                (WhenFn ?DECISION)))))		 Merge.kif 11048-11055 If X is an instance of legal decision, then there exist Y, Z such that Y is an instance of deciding, Z is a result of Y, X is an instance of Z, and the time of existence of Y happens earlier than the time of existence of X


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners