Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| benefits |
| appearance as argument number 1 |
|
| (instance benefits BinaryPredicate) | Mid-level-ontology.kif 25228-25228 | benefits is an instance of binary predicate |
| (instance benefits AsymmetricRelation) | Mid-level-ontology.kif 25229-25229 | benefits is an instance of asymmetric relation |
| (domain benefits 1 Process) | Mid-level-ontology.kif 25230-25230 | The number 1 argument of benefits is an instance of process |
| (domain benefits 2 AutonomousAgent) | Mid-level-ontology.kif 25231-25231 | The number 2 argument of benefits is an instance of agent |
| (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 25232-25236 | The number 2 argument of benefits is an instance of agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage benefits "benefits") | domainEnglishFormat.kif 10737-10737 | |
| (termFormat ChineseTraditionalLanguage benefits "好處") | domainEnglishFormat.kif 10738-10738 | |
| (termFormat ChineseLanguage benefits "好处") | domainEnglishFormat.kif 10739-10739 | |
| (format EnglishLanguage benefits "%2 is %n a beneficiary of %1") | english_format.kif 63-63 |
| antecedent |
|
|
| (=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (benefits ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 25238-25243 | If equal X and the beginning of the time of existence of Y, equal Z and the end of the time of existence of W, and W is a beneficiary of Y, then X happens before Z |
| (=> (benefits ?A ?B) (not (suffers ?A ?B))) |
Mid-level-ontology.kif 32197-32200 | If X is a beneficiary of Y, then X suffers from Y |
| (=> (benefits ?A ?B) (wants ?B ?A)) |
Mid-level-ontology.kif 32213-32215 | If X is a beneficiary of Y, then X wants Y |
| consequent |
|
|
| (=> (instance ?P Parasite) (modalAttribute (exists (?H ?PROC) (and (located ?P ?H) (involvedInEvent ?PROC ?P) (involvedInEvent ?PROC ?H) (benefits ?PROC ?P) (suffers ?PROC ?H))) Likely)) |
Mid-level-ontology.kif 7013-7023 | If X is an instance of parasite, then the statement there exist Y, Z such that X is located at Y, X is an involved in event of Z, Y is an involved in event of Z, X is a beneficiary of Z, and Y suffers from Z has the modal force of likely |
| (=> (medicine ?MC ?D) (exists (?DOC) (and (instance ?DOC MedicalDoctor) (believes ?DOC (exists (?T ?H ?M) (and (instance ?M ?MC) (instance ?T TherapeuticProcess) (instance ?H Human) (patientMedical ?H ?DOC) (resource ?T ?M) (benefits ?T ?H))))))) |
Mid-level-ontology.kif 11118-11131 | If X is medicine for Y, then All of the following hold: (1) there exists Z such that Z is an instance of medical doctor (2) Z believes there exist W, V (3) U such that U is an instance of X (4) W is an instance of therapeutic process (5) V is an instance of human (6) Z is a patient medical of V (7) U is a resource for W (8) V is a beneficiary of W |
| (=> (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 20216-20225 | If X is an instance of defrauding, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) Z suffers from X (4) Y is a beneficiary of X (5) the object transferred in X is W (6) W originates at Z (7) W ends up at Y |
| (=> (suffers ?A ?B) (not (benefits ?A ?B))) |
Mid-level-ontology.kif 32192-32195 | If X suffers from Y, then X is not a beneficiary of Y |
| (=> (rewards ?A ?H) (exists (?P) (and (agent ?P ?A) (benefits ?P ?H)))) |
Law.kif 97-102 | If X rewards Y, then there exists Z such that X is an agent of Z and Y is a beneficiary of Z |
| (=> (counselInCase ?H ?A ?L) (desires ?H (exists (?LD) (and (instance ?LD LegalDecision) (causes ?L ?LD) (benefits ?LD ?A))))) |
Law.kif 445-452 | If X is the counsel for Y in Z, then X desires there exists W such that W is an instance of legal decision, Z causes W, and Y is a beneficiary of W |
| (=> (businessUnit ?BU ?ORG) (hasPurpose ?BU (exists (?PROCESS) (and (instance ?PROCESS Process) (agent ?PROCESS ?BU) (benefits ?PROCESS ?ORG))))) |
UXExperimentalTerms.kif 2564-2571 | If X is a business unit of Y, then X has the purpose there exists Z such that Z is an instance of process, X is an agent of Z, and Y is a beneficiary of Z |
|