Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  surfaceWindVelocity

 Sigma KEE - DiagnosticProcess
DiagnosticProcess(diagnostic process)A-scan_ultrasonography, Apgar_score, B-scan_ultrasonography, BOLD_FMRI, CAT, CT, Dick_test, Friedman_test, IVP, MRI, Mantoux_test, PET, PSA_blood_test, Pap_test, Papanicolaou_test, RAIU, Schick_test, Snellen_test, Wasserman_reaction, Wassermann, Wassermann_test, Widal's_test, Widal_test, X-radiation, X-ray_photography, X-raying, agglutination_test, angiocardiogram, angiogram, angiography, arteriography, arthrography, auscultate, auscultation, auscultatory, autopsy, autoradiographic, bio-assay, bioassay, blood-oxygenation_level_dependent_functional_magnetic_resonance_imaging, blood_test, cardiographic, celioscopy, cholangiography, chorionic_villus_biopsy, chorionic_villus_sampling, colonoscopy, complement_fixation_test, computed_axial_tomography, computed_tomography...

appearance as argument number 1
-------------------------


(subclass DiagnosticProcess Investigating) Merge.kif 13252-13252 Diagnostic process is a subclass of investigating
(documentation DiagnosticProcess EnglishLanguage "A Process that is carried out for the purpose of determining the nature of a DiseaseOrSyndrome.") Merge.kif 13253-13254 Diagnostic process is a subclass of investigating

appearance as argument number 2
-------------------------


(subclass Biopsy DiagnosticProcess) Mid-level-ontology.kif 26367-26367 Biopsy is a subclass of diagnostic process
(subclass MeasuringBreathing DiagnosticProcess) Medicine.kif 437-437 Measuring breathing is a subclass of diagnostic process
(subclass Electrocardiography DiagnosticProcess) Medicine.kif 3456-3456 Electrocardiography is a subclass of diagnostic process
(subclass CheckingVitals DiagnosticProcess) Medicine.kif 6544-6544 Checking vitals is a subclass of diagnostic process
(termFormat EnglishLanguage DiagnosticProcess "diagnostic process") english_format.kif 1605-1605 Checking vitals is a subclass of diagnostic process

antecedent
-------------------------


(=>
    (and
        (instance ?PROC DiagnosticProcess)
        (agent ?PROC ?AGENT))
    (exists (?CAUSE)
        (hasPurposeForAgent ?PROC ?AGENT
            (knows ?AGENT
                (causes ?CAUSE ?PROC)))))		 Merge.kif 13256-13261 If X is an instance of diagnostic process and Y is an agent of X, then there exists Z such that X has the purpose Y for Y knows Z causes X

consequent
-------------------------


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners