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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 决定选择subclass

appearance as argument number 2

(subclass GameCall Deciding) Mid-level-ontology.kif 16275-16275 比赛电话决定subclass
(subclass Resolution Deciding) Mid-level-ontology.kif 16054-16054 解析度决定subclass
(termFormat ChineseLanguage Deciding "决定") domainEnglishFormat.kif 18822-18822
(termFormat ChineseTraditionalLanguage Deciding "決定") domainEnglishFormat.kif 18821-18821
(termFormat EnglishLanguage Deciding "deciding") domainEnglishFormat.kif 18820-18820


        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?A)
        (patient ?DECIDE ?S)
        (instance ?S Set)
        (result ?DECIDE ?X)
        (instance ?X ContentBearingPhysical))
    (containsFormula ?X
                (WhenFn ?DECIDE))
            (exists (?M)
                    (element ?M ?S)
                    (instance ?M IntentionalProcess)
                    (agent ?M ?A))))))
Merge.kif 12046-12062
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?AGENT)
        (instance ?S Set)
        (patient ?DECIDE ?S)
        (element ?M ?S))
    (believes ?AGENT
        (exists (?CLASS)
                (instance ?M ?CLASS)
                (subclass ?CLASS IntentionalProcess)
                (capability ?CLASS agent ?AGENT)))))
Merge.kif 12014-12026


    (instance ?DECISION LegalDecision)
    (exists (?DECIDE)
            (instance ?DECIDE Deciding)
            (result ?DECIDE ?LD)
            (instance ?DECISION ?LD)
                (WhenFn ?DECIDE)
                (WhenFn ?DECISION)))))
Merge.kif 10801-10808

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 is open source software produced by Articulate Software and its partners