Deciding - Sigma Knowledge base Browser

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, 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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3122-3123
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12007-12009
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12006-12006	Deciding is a subclass of selecting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16275-16275	Game call is a subclass of deciding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16054-16054	Resolution is a subclass of deciding
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18822-18822
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18821-18821
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18820-18820

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12046-12062	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12014-12026	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

No TPTP formula. May not be expressible in strict first order.

Merge.kif 10801-10808

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