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
MilitaryUnit
MilitaryOrganization
)
Mid-level-ontology.kif 8353-8353
MilitaryUnit
ist eine
teilkategorie
von
MilitaryOrganization
(
subclass
LARUnit
MilitaryUnit
)
MilitaryPersons.kif 509-509
LARUnit
ist eine
teilkategorie
von
MilitaryUnit
(
subclass
AssaultAmphibianUnit
MilitaryUnit
)
MilitaryPersons.kif 635-635
AssaultAmphibianUnit
ist eine
teilkategorie
von
MilitaryUnit
(
subclass
PeacekeepingUnit
MilitaryUnit
)
Military.kif 84-84
PeacekeepingUnit
ist eine
teilkategorie
von
MilitaryUnit
(
subclass
InfantryUnit
MilitaryUnit
)
Military.kif 672-672
InfantryUnit
ist eine
teilkategorie
von
MilitaryUnit
(
subclass
Brigade
MilitaryUnit
)
Military.kif 714-714
Brigade
ist eine
teilkategorie
von
MilitaryUnit
(
subclass
Battalion
MilitaryUnit
)
Military.kif 732-732
Battalion
ist eine
teilkategorie
von
MilitaryUnit
(
subclass
CompanyMilitary
MilitaryUnit
)
Military.kif 736-736
CompanyMilitary
ist eine
teilkategorie
von
MilitaryUnit
(
subclass
Platoon
MilitaryUnit
)
Military.kif 745-745
Platoon
ist eine
teilkategorie
von
MilitaryUnit
(
subclass
MilitarySquad
MilitaryUnit
)
Mid-level-ontology.kif 8374-8374
MilitarySquad
ist eine
teilkategorie
von
MilitaryUnit
(
subclass
MilitaryCorps
MilitaryUnit
)
Mid-level-ontology.kif 8377-8377
MilitaryCorps
ist eine
teilkategorie
von
MilitaryUnit
(
subclass
CavalryUnit
MilitaryUnit
)
Mid-level-ontology.kif 8381-8381
CavalryUnit
ist eine
teilkategorie
von
MilitaryUnit
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