DiagnosticProcess - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DiagnosticProcess ChineseLanguage "这是为了决定一种 DiseaseOrSyndrome 的性质而执行的 Process。")	chinese_format.kif 4068-4068
(documentation DiagnosticProcess EnglishLanguage "A Process that is carried out for the purpose of determining the nature of a DiseaseOrSyndrome.")	Merge.kif 13001-13002
(subclass DiagnosticProcess Investigating)	Merge.kif 13000-13000	Diagnostic process is a subclass of investigating

appearance as argument number 2

(subclass Biopsy DiagnosticProcess)	Mid-level-ontology.kif 24372-24372	Biopsy is a subclass of diagnostic process
(subclass CheckingVitals DiagnosticProcess)	Medicine.kif 6497-6497	Checking vitals is a subclass of diagnostic process
(subclass Electrocardiography DiagnosticProcess)	Medicine.kif 3425-3425	Electrocardiography is a subclass of diagnostic process
(subclass MeasuringBreathing DiagnosticProcess)	Medicine.kif 461-461	Measuring breathing is a subclass of diagnostic process
(termFormat ChineseLanguage DiagnosticProcess "诊断过程")	chinese_format.kif 1192-1192	Measuring breathing is a subclass of diagnostic process
(termFormat EnglishLanguage DiagnosticProcess "diagnostic process")	english_format.kif 1601-1601	Measuring breathing is a subclass of diagnostic process
(termFormat FrenchLanguage DiagnosticProcess "processus de diagnostique")	french_format.kif 870-870	Measuring breathing is a subclass of diagnostic process
(termFormat Hindi DiagnosticProcess "nidaanakaarii prakriyaa")	terms-hindi.txt 403-403	Measuring breathing is a subclass of diagnostic process
(termFormat ItalianLanguage DiagnosticProcess "ProcessoDiagnostico")	terms-it.txt 406-406	Measuring breathing is a subclass of diagnostic process
(termFormat JapaneseLanguage DiagnosticProcess "診断プロセス")	japanese_format.kif 2554-2554	Measuring breathing is a subclass of diagnostic process
(termFormat PortugueseLanguage DiagnosticProcess "Processo de Diagnostico")	portuguese_format.kif 822-822	Measuring breathing is a subclass of diagnostic process
(termFormat cb DiagnosticProcess "paghimadlay")	terms-cb.txt 408-408	Measuring breathing is a subclass of diagnostic process
(termFormat cz DiagnosticProcess "diagnostic process")	terms-cz.txt 442-442	Measuring breathing is a subclass of diagnostic process
(termFormat ro DiagnosticProcess "proces de diagnosticare")	relations-ro.kif 891-891	Measuring breathing is a subclass of diagnostic process
(termFormat tg DiagnosticProcess "paraan ng pagsusuri")	terms-tg.txt 407-407	Measuring breathing is a subclass of diagnostic process

antecedent

(=>
    (and
        (instance ?PROC DiagnosticProcess)
        (agent ?PROC ?AGENT))
    (exists (?CAUSE)
        (hasPurposeForAgent ?PROC
            (knows ?AGENT
                (causes ?CAUSE ?PROC)) ?AGENT)))

Merge.kif 13004-13009

If a process is an instance of diagnostic process and an agent is an agent of the process,
then there exists an entity such that the process has the purpose the agent knows the entity causes the process for the agent

consequent

(=> (and (instance ?I HealthInsuranceCompany) (customer ?I ?C)) (hasPurposeForAgent ?I (exists (?D ?P) (and (or (instance ?D DiagnosticProcess) (instance ?D TherapeuticProcess)) (experiencer ?D ?C) (instance ?P Payment) (agent ?P ?I) (refers ?P ?D))) ?C))	Mid-level-ontology.kif 7377-7390	If a cognitive agent is an instance of health insurance company and an agent is a customer of the cognitive agent, then the cognitive agent has the purpose there exist an entity and another entity such that the entity is an instance of diagnostic process or the entity is an instance of therapeutic process and the agent experiences the entity and the other entity is an instance of payment and the cognitive agent is an agent of the other entity and the other entity includes a reference to the entity for the agent
(=> (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 21294-21301	If medical doctor is an attribute of an object, then there exist a kind of process and another kind of process such that a kind of process is a subclass of diagnostic process and another kind of process is a subclass of therapeutic process and the object is capable of doing the kind of process as a agent and the object is capable of doing the other kind of process as a agent
(=> (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 4481-4492	If pulmonologist is an attribute of an object, then there exist a process, another process,, , another object and a third object such that a class is a subclass of diagnostic process and another class is a subclass of therapeutic process and the other object is a patient of the process and the other object is a patient of the other process and the third object is an instance of lung and the third object is a part of the other object and the process is located at lung and the other process is located at lung
(=> (attribute ?P Dentist) (exists (?D ?T) (and (instance ?D DiagnosticProcess) (agent ?D ?P) (instance ?T Tooth) (patient ?D ?T))))	Mid-level-ontology.kif 19137-19144	If dentist is an attribute of an agent, then there exist a process and an entity such that the process is an instance of diagnostic process and the agent is an agent of the process and the entity is an instance of tooth and the entity is a patient of the process
(=> (instance ?MD MedicalDevice) (hasPurpose ?MD (exists (?TP ?DP) (and (instance ?TP TherapeuticProcess) (instance ?DP DiagnosticProcess) (or (instrument ?TP ?MD) (instrument ?DP ?MD))))))	Medicine.kif 666-675	If a physical is an instance of medical device, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of therapeutic process and the other entity is an instance of diagnostic process and the physical is an instrument for the entity or the physical is an instrument for the other entity
(=> (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 2281-2292	If a service is an instance of medical service, then there exist an agent, a cognitive agent and a process such that the agent is an agent of the service and the agent employs the cognitive agent and medical doctor is an attribute of the cognitive agent and the cognitive agent provides a service during the service and the process is an instance of therapeutic process or the process is an instance of diagnostic process and the process is a subprocess of the service
(=> (patientMedical ?PATIENT ?DOCTOR) (exists (?PROCESS) (and (patient ?PROCESS ?PATIENT) (agent ?PROCESS ?DOCTOR) (or (instance ?PROCESS DiagnosticProcess) (instance ?PROCESS TherapeuticProcess)))))	Mid-level-ontology.kif 5670-5678	If a cognitive agent is a patient medical of a human, then there exists a process such that the human is a patient of the process and the cognitive agent is an agent of the process and the process is an instance of diagnostic process or the process is an instance of therapeutic process

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: