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:
(=>
(
subclass
?A
Antibiotic
)
(
exists
(?D)
(
and
(
instance
?D
BacterialDisease
)
(
medicine
?A ?D))))
Mid-level-ontology.kif 9671-9676
Wenn
** Medicine
ist eine
teilkategorie
von
Antibiotic
,
dann es gibt
DiseaseOrSyndrome
um
** DiseaseOrSyndrome
ist ein
fall
von
BacterialDisease
%n{nicht} und
medicine
** Medicine
and
** DiseaseOrSyndrome
(
subclass
Antibiotic
BiologicallyActiveSubstance
)
Mid-level-ontology.kif 9667-9667
Antibiotic
ist eine
teilkategorie
von
BiologicallyActiveSubstance
(
subclass
OralAntibiotic
Antibiotic
)
WMD.kif 1284-1284
OralAntibiotic
ist eine
teilkategorie
von
Antibiotic
(
subclass
TopicalAntibiotic
Antibiotic
)
WMD.kif 1311-1311
TopicalAntibiotic
ist eine
teilkategorie
von
Antibiotic
(
subclass
InjectedAntibiotic
Antibiotic
)
Medicine.kif 1342-1342
InjectedAntibiotic
ist eine
teilkategorie
von
Antibiotic
(
subclass
CarbapenemAntibiotic
Antibiotic
)
Medicine.kif 1355-1355
CarbapenemAntibiotic
ist eine
teilkategorie
von
Antibiotic
(
subclass
Cephalosporin
Antibiotic
)
Medicine.kif 1964-1964
Cephalosporin
ist eine
teilkategorie
von
Antibiotic
(
subclass
Clarithromycin
Antibiotic
)
Medicine.kif 3583-3583
Clarithromycin
ist eine
teilkategorie
von
Antibiotic
(
subclass
Doxycycline
Antibiotic
)
Medicine.kif 3800-3800
Doxycycline
ist eine
teilkategorie
von
Antibiotic
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