Sigma KB Term Intersection

(=> (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 21063-21070	MedicalDoctor はオブジェクトの attribute では %n 工程工程工程は診断プロセスの subclass では %n 工程は治療経過の subclass では %n オブジェクトは工程を agent として行う capable では %n オブジェクトは工程を agent として行う capable では %n
(=> (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	Pulmonologist はオブジェクトの attribute では %n 工程工程, オブジェクト and オブジェクトクラスは診断プロセスの subclass では %n クラスは治療経過の subclass では %n オブジェクトは工程の patient では %n オブジェクトは工程の patient では %n オブジェクトは Lung の instance では %n オブジェクトはオブジェクトの part では %n 工程は Lung に located して %n 工程は Lung に located して %n
(subclass DiagnosticProcess Investigating)	Merge.kif 13000-13000	診断プロセスは捜査の subclass では %n
(subclass Biopsy DiagnosticProcess)	Mid-level-ontology.kif 24141-24141	Biopsy は診断プロセスの subclass では %n
(subclass MeasuringBreathing DiagnosticProcess)	Medicine.kif 461-461	MeasuringBreathing は診断プロセスの subclass では %n
(subclass Electrocardiography DiagnosticProcess)	Medicine.kif 3425-3425	Electrocardiography は診断プロセスの subclass では %n
(subclass CheckingVitals DiagnosticProcess)	Medicine.kif 6497-6497	CheckingVitals は診断プロセスの subclass では %n

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