(=>
(patientMedical ?PATIENT ?DOCTOR)
(exists (?PROCESS)
(and
(patient ?PROCESS ?PATIENT)
(agent ?PROCESS ?DOCTOR)
(or
(instance ?PROCESS DiagnosticProcess)
(instance ?PROCESS TherapeuticProcess))))) |
Mid-level-ontology.kif 6795-6803 |
If X is a patient medical of Y, then there exists Z such that Y is a patient of Z, X is an agent of Z, and Z is an instance of diagnostic process or Z is an instance of therapeutic process |
(=>
(instance ?B Bandage)
(hasPurpose ?B
(exists (?TP ?C)
(and
(instance ?TP TherapeuticProcess)
(instance ?C Covering)
(subProcess ?C ?TP)
(instrument ?C ?B))))) |
Mid-level-ontology.kif 6809-6817 |
If X is an instance of bandage, then X has the purpose there exist Y, Z such that Y is an instance of therapeutic process, Z is an instance of covering, Z is a subprocess of Y, and X is an instrument for Z |
(=>
(instance ?M Medicine)
(exists (?P)
(and
(instance ?P TherapeuticProcess)
(resource ?P ?M)))) |
Mid-level-ontology.kif 10736-10741 |
If X is an instance of medicine, then there exists Y such that Y is an instance of therapeutic process and X is a resource for Y |
(=>
(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 |
(=>
(attribute ?DOCTOR MedicalDoctor)
(exists (?PROCESS1 ?PROCESS2)
(and
(subclass ?PROCESS1 DiagnosticProcess)
(subclass ?PROCESS2 TherapeuticProcess)
(capability ?PROCESS1 agent ?DOCTOR)
(capability ?PROCESS2 agent ?DOCTOR)))) |
Mid-level-ontology.kif 23278-23285 |
If medical doctor is an attribute of X, then there exist Y, Z such that Y is a subclass of diagnostic process, Z is a subclass of therapeutic process, X is capable of doing Y as a agent, and X is capable of doing Z as a agent |
(=>
(attribute ?PERSON RegisteredNurse)
(hasExpertise ?PERSON TherapeuticProcess)) |
Biography.kif 579-581 |
If registered nurse is an attribute of X, then therapeutic process has an expertise in X |
(=>
(and
(instance ?I HealthInsuranceCompany)
(customer ?I ?C))
(hasPurposeForAgent ?I ?C
(exists (?D ?P)
(and
(or
(instance ?D DiagnosticProcess)
(instance ?D TherapeuticProcess))
(experiencer ?D ?C)
(instance ?P Payment)
(agent ?P ?I)
(refers ?P ?D))))) |
FinancialOntology.kif 432-445 |
If X is an instance of health insurance company and Y is a customer of X, then X has the purpose Y for there exist Z, W such that Z is an instance of diagnostic process or Z is an instance of therapeutic process, Y experiences Z, W is an instance of payment, X is an agent of W, and W includes a reference to Z |
(=>
(instance ?MS MedicalService)
(exists (?AGENT ?HUMAN ?PROC)
(and
(agent ?MS ?AGENT)
(employs ?AGENT ?HUMAN)
(attribute ?HUMAN MedicalDoctor)
(serviceProvider ?MS ?HUMAN)
(or
(instance ?PROC TherapeuticProcess)
(instance ?PROC DiagnosticProcess))
(subProcess ?PROC ?MS)))) |
Hotel.kif 2299-2310 |
If X is an instance of medical service, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) Y employs Z (4) medical doctor is an attribute of Z (5) Z provides a service during X (6) W is an instance of therapeutic process or W is an instance of diagnostic process (7) W is a subprocess of X |
(=>
(instance ?MD MedicalDevice)
(hasPurpose ?MD
(exists (?TP ?DP)
(and
(instance ?TP TherapeuticProcess)
(instance ?DP DiagnosticProcess)
(or
(instrument ?TP ?MD)
(instrument ?DP ?MD)))))) |
Medicine.kif 644-653 |
If X is an instance of medical device, then X has the purpose there exist Y, Z such that Y is an instance of therapeutic process, Z is an instance of diagnostic process, and X is an instrument for Y or X is an instrument for Z |
(=>
(attribute ?H Pulmonologist)
(exists (?P1 ?P2 ?PAT ?L)
(and
(subclass ?PROCESS1 DiagnosticProcess)
(subclass ?PROCESS2 TherapeuticProcess)
(patient ?P1 ?PAT)
(patient ?P2 ?PAT)
(instance ?L Lung)
(part ?L ?PAT)
(located ?P1 Lung)
(located ?P2 Lung)))) |
Medicine.kif 4502-4513 |
If pulmonologist is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that U is a subclass of diagnostic process (3) T is a subclass of therapeutic process (4) W is a patient of Y (5) W is a patient of Z (6) V is an instance of lung (7) V is a part of W (8) Y is located at lung (9) Z is located at lung |
(=>
(and
(instance ?A MedicalPerson)
(attribute ?C ?A))
(hasPurpose ?C
(exists (?TP)
(and
(instance ?TP TherapeuticProcess)
(agent ?TP ?C))))) |
Medicine.kif 6369-6377 |
If X is an instance of medical person and X is an attribute of Y, then Y has the purpose there exists Z such that Z is an instance of therapeutic process and Y is an agent of Z |
(=>
(and
(instance ?EV Evacuation)
(experiencer ?EV ?P)
(agent ?EV ?A))
(exists (?M ?MA)
(and
(instance ?M TherapeuticProcess)
(subProcess ?M ?EV)
(or
(subOrganization ?MA ?A)
(member ?MA ?A)
(equal ?MA ?A))
(agent ?M ?MA)
(experiencer ?M ?P)))) |
MilitaryProcesses.kif 2666-2680 |
If X is an instance of evacuating, Y experiences X, and Z is an agent of X, then All of the following hold: (1) there exist W (2) V such that W is an instance of therapeutic process (3) W is a subprocess of X (4) V is a part of the organization Z, V is a member of Z, or equal V (5) Z (6) V is an agent of W (7) Y experiences W |
