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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24574-24578
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24572-24572	The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24573-24573	The number 2 argument of benefits is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24571-24571	benefits is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24570-24570	benefits is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 63-63
No TPTP formula. May not be expressible in strict first order.	english_format.kif 63-63
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1880-1880
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10746-10746
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 64-64
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10745-10745
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10744-10744

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24580-24585	If a time point is equal to the beginning of the time of existence of a process and another time point is equal to the end of the time of existence of an agent and the agent is a beneficiary of the process, then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31268-31271	If an agent is a beneficiary of a process, then not the agent suffers from the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31284-31286	If a cognitive agent is a beneficiary of a process, then the cognitive agent wants the process

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2563-2570	If an organization is a business unit of a business, then the organization has the 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
No TPTP formula. May not be expressible in strict first order.	Law.kif 470-477	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19899-19908	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6850-6860	If an entity is an instance of parasite, then the statement there exist another entity and the entityROC such that the entity is located at the other entity and the entity is an involved in event of the entityROC and the other entity is an involved in event of the entityROC and the entity is a beneficiary of the entityROC and the other entity suffers from the entityROC has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10999-11012	If a kind of medicine is medicine for a disease or syndrome, then there exists the disease or syndromeOC such that the disease or syndromeOC is an instance of medical doctor and the disease or syndromeOC believes there exist an entity, another entity and a third entity such that the third entity is an instance of a kind of medicine and the entity is an instance of therapeutic process and the other entity is an instance of human and the disease or syndromeOC is a patient medical of the other entity and the third entity is a resource for the entity and the other entity is a beneficiary of the entity
No TPTP formula. May not be expressible in strict first order.	Law.kif 97-102	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31263-31266	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