(=>
(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 |
Collection