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
Month
TimeInterval
)
Merge.kif 9043-9043
Month
ist eine
teilkategorie
von
TimeInterval
(
subclass
January
Month
)
Merge.kif 9048-9048
January
ist eine
teilkategorie
von
Month
(
subclass
February
Month
)
Merge.kif 9062-9062
February
ist eine
teilkategorie
von
Month
(
subclass
March
Month
)
Merge.kif 9086-9086
March
ist eine
teilkategorie
von
Month
(
subclass
April
Month
)
Merge.kif 9100-9100
April
ist eine
teilkategorie
von
Month
(
subclass
May
Month
)
Merge.kif 9114-9114
May
ist eine
teilkategorie
von
Month
(
subclass
June
Month
)
Merge.kif 9128-9128
June
ist eine
teilkategorie
von
Month
(
subclass
July
Month
)
Merge.kif 9142-9142
July
ist eine
teilkategorie
von
Month
(
subclass
August
Month
)
Merge.kif 9156-9156
August
ist eine
teilkategorie
von
Month
(
subclass
September
Month
)
Merge.kif 9170-9170
September
ist eine
teilkategorie
von
Month
(
subclass
October
Month
)
Merge.kif 9185-9185
October
ist eine
teilkategorie
von
Month
(
subclass
November
Month
)
Merge.kif 9199-9199
November
ist eine
teilkategorie
von
Month
(
subclass
December
Month
)
Merge.kif 9213-9213
December
ist eine
teilkategorie
von
Month
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