TreeView Knowledge Base Browser - Deciding

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 12029-12031
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12028-12028	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 16274-16274	Game call is a subclass of deciding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16053-16053	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 12068-12084	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 12036-12048	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 10823-10830

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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