Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
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
Wenn
Pulmonologist
ist ein
attribut
von
Object
%n{nicht},
dann es gibt
Process
,
** Process
,, ,
** Object
, and und
** Object
um
Class
ist eine
teilkategorie
von
DiagnosticProcess
und
** Class
ist eine
teilkategorie
von
TherapeuticProcess
und
** ** Object
ist ein
patient
von
** Process
%n{nicht} und
** ** Object
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Object
ist ein
fall
von
Lung
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
** ** Process
befindet
sich an %n{nicht}
(=>
(
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 21036-21043
Wenn
MedicalDoctor
ist ein
attribut
von
Object
%n{nicht},
dann es gibt
** Process
und
** ** Process
um
** Process
ist eine
teilkategorie
von
DiagnosticProcess
und
** ** Process
ist eine
teilkategorie
von
TherapeuticProcess
und
** Object
ist faehig %n{nicht}, in der Rolle
agent
** ** Process
zu tun und
** Object
ist faehig %n{nicht}, in der Rolle
agent
** ** ** Process
zu tun
(
subclass
TherapeuticProcess
Repairing
)
Merge.kif 12239-12239
TherapeuticProcess
ist eine
teilkategorie
von
Repairing
(
subclass
Vaccination
TherapeuticProcess
)
WMD.kif 1066-1066
Vaccination
ist eine
teilkategorie
von
TherapeuticProcess
(
subclass
Massaging
TherapeuticProcess
)
Mid-level-ontology.kif 5700-5700
Massaging
ist eine
teilkategorie
von
TherapeuticProcess
(
subclass
RelievingPain
TherapeuticProcess
)
Mid-level-ontology.kif 5773-5773
RelievingPain
ist eine
teilkategorie
von
TherapeuticProcess
(
subclass
Surgery
TherapeuticProcess
)
Merge.kif 12255-12255
Surgery
ist eine
teilkategorie
von
TherapeuticProcess
(
subclass
ApplyingTourniquet
TherapeuticProcess
)
Medicine.kif 62-62
ApplyingTourniquet
ist eine
teilkategorie
von
TherapeuticProcess
(
subclass
CPR
TherapeuticProcess
)
Medicine.kif 579-579
CPR
ist eine
teilkategorie
von
TherapeuticProcess
(
subclass
Defibrillation
TherapeuticProcess
)
Medicine.kif 632-632
Defibrillation
ist eine
teilkategorie
von
TherapeuticProcess
(
subclass
Thoracentesis
TherapeuticProcess
)
Medicine.kif 877-877
Thoracentesis
ist eine
teilkategorie
von
TherapeuticProcess
(
subclass
Anesthetizing
TherapeuticProcess
)
Medicine.kif 940-940
Anesthetizing
ist eine
teilkategorie
von
TherapeuticProcess
(
subclass
IVTherapy
TherapeuticProcess
)
Medicine.kif 1069-1069
IVTherapy
ist eine
teilkategorie
von
TherapeuticProcess
(
subclass
IntraosseousInfusion
TherapeuticProcess
)
Medicine.kif 1170-1170
IntraosseousInfusion
ist eine
teilkategorie
von
TherapeuticProcess
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