benefits - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - benefits

benefits

appearance as argument number 1

(documentation benefits EnglishLanguage "(benefits ?PROCESS ?AGENT) means that ?AGENT somehow derives benefit as a result of ?PROCESS. This is a very general relation, and does not entail that ?AGENT is a participant in ?PROCESS.")	Mid-level-ontology.kif 20833-20837
(domain benefits 1 Process)	Mid-level-ontology.kif 20831-20831	The number 1 argument of benefits is an instance of process
(domain benefits 2 Agent)	Mid-level-ontology.kif 20832-20832	The number 2 argument of benefits is an instance of agent
(instance benefits AsymmetricRelation)	Mid-level-ontology.kif 20830-20830	benefits is an instance of asymmetric relation
(instance benefits BinaryPredicate)	Mid-level-ontology.kif 20829-20829	benefits is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage benefits "%2 %n 是 %1 的受益者")	chinese_format.kif 63-63
(format EnglishLanguage benefits "%2 is %n a beneficiary of %1")	english_format.kif 63-63
(termFormat ChineseLanguage benefits "好处")	domainEnglishFormat.kif 10681-10681
(termFormat ChineseLanguage benefits "得益")	chinese_format.kif 64-64
(termFormat ChineseTraditionalLanguage benefits "好處")	domainEnglishFormat.kif 10680-10680
(termFormat EnglishLanguage benefits "benefits")	domainEnglishFormat.kif 10679-10679

antecedent

(=> (and (equal ?PROCESS-START (BeginFn (WhenFn ?PROCESS))) (equal ?AGENT-END (EndFn (WhenFn ?AGENT))) (benefits ?PROCESS ?AGENT)) (before ?PROCESS-START ?AGENT-END))	Mid-level-ontology.kif 20841-20846	If a process-START is equal to the beginning of the time of existence of the process and an agent-END is equal to the end of the time of existence of the agent and the agent is a beneficiary of the process, then the process-START happens before the agent-END
(=> (benefits ?A ?B) (not (suffers ?A ?B)))	Mid-level-ontology.kif 27790-27793	If an agent is a beneficiary of a process, then not the agent suffers from the process
(=> (benefits ?A ?B) (wants ?B ?A))	Mid-level-ontology.kif 27806-27808	If a cognitive agent is a beneficiary of a process, then the cognitive agent wants the process

consequent

(=> (businessUnit ?BU ?ORG) (hasPurpose ?BU (exists (?PROCESS) (and (instance ?PROCESS Process) (agent ?PROCESS ?BU) (benefits ?PROCESS ?ORG)))))	UXExperimentalTerms.kif 2768-2775	If an organization is a business unit of a Business, then the organization purpose there exists an entity such that the entity is an instance of process and the organization is an agent of the entity and the Business is a beneficiary of the entity
(=> (counselInCase ?H ?A ?L) (desires ?H (exists (?LD) (and (instance ?LD LegalDecision) (causes ?L ?LD) (benefits ?LD ?A)))))	Law.kif 508-515	If a human is the counsel for an agent in a legal action, then the human desires there exists the legal actionD such that the legal actionD is an instance of legal decision and the legal action causes the legal actionD and the agent is a beneficiary of the legal actionD
(=> (instance ?D Defrauding) (exists (?A ?P ?O) (and (agent ?D ?A) (suffers ?D ?P) (benefits ?D ?A) (objectTransferred ?D ?O) (origin ?O ?P) (destination ?O ?A))))	Mid-level-ontology.kif 16037-16046	If a transfer is an instance of defrauding, then there exist an agent, another agent and an object such that the agent is an agent of the transfer and the other agent suffers from the transfer and the agent is a beneficiary of the transfer and the object transferred in the transfer is the object and the object originates at the other agent and the object ends up at the agent
(=> (rewards ?A ?H) (exists (?P) (and (agent ?P ?A) (benefits ?P ?H))))	Law.kif 110-115	If an agent rewards another agent, then there exists a process such that the agent is an agent of the process and the other agent is a beneficiary of the process
(=> (suffers ?A ?B) (not (benefits ?A ?B)))	Mid-level-ontology.kif 27785-27788	If an agent suffers from a process, then the agent is not a beneficiary of the process

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