(=>
(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 |
(=>
(attribute ?P Dentist)
(exists (?D ?T)
(and
(instance ?D DiagnosticProcess)
(agent ?D ?P)
(instance ?T Tooth)
(patient ?D ?T)))) |
Mid-level-ontology.kif 20816-20823 |
If dentist is an attribute of X, then there exist Y, Z such that Y is an instance of diagnostic process, X is an agent of Y, Z is an instance of tooth, and Z is a patient of Y |
(=>
(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 |
(=>
(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 |
