Deciding - Sigma Knowledge base Browser

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 is a subclass of selecting

appearance as argument number 2

(subclass GameCall Deciding)	Mid-level-ontology.kif 16493-16493	Game call is a subclass of deciding
(subclass Resolution Deciding)	Mid-level-ontology.kif 16272-16272	Resolution is a subclass of deciding
(termFormat ChineseLanguage Deciding "决定")	domainEnglishFormat.kif 18838-18838	Resolution is a subclass of deciding
(termFormat ChineseTraditionalLanguage Deciding "決定")	domainEnglishFormat.kif 18837-18837	Resolution is a subclass of deciding
(termFormat EnglishLanguage Deciding "deciding")	domainEnglishFormat.kif 18836-18836	Resolution is a subclass of deciding

antecedent

(=> (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 12092-12108	If a process is an instance of deciding and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of set and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing physical, then the content bearing physical contains the formula there exists another entity such that the other entity is an element of the entity and the other entity is an instance of intentional process and the agent is an agent of the other entity holds during after the time of existence of the process
(=> (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 12060-12072	If a process is an instance of deciding and a cognitive agent is an agent of the process and a set is an instance of set and the set is a patient of the process and an entity is an element of the set, then the cognitive agent believes there exists another entity such that the entity is an instance of the other entity and the other entity is a subclass of intentional process and the cognitive agent is capable of doing the other entity as a agent

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

If a physical is an instance of legal decision,
then there exists a process such that the process is an instance of deciding and a class is a result of the process and the physical is an instance of the class and the time of existence of the process happens earlier than the time of existence of the physical

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

KB Term:			Term intersection

English Word: