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 8354-8354
Military unit
is a
subclass
of
military organization
(
subclass
LARUnit
MilitaryUnit
)
MilitaryPersons.kif 509-509
LAR unit
is a
subclass
of
military unit
(
subclass
AssaultAmphibianUnit
MilitaryUnit
)
MilitaryPersons.kif 635-635
Assault amphibian unit
is a
subclass
of
military unit
(
subclass
PeacekeepingUnit
MilitaryUnit
)
Military.kif 84-84
Peacekeeping unit
is a
subclass
of
military unit
(
subclass
InfantryUnit
MilitaryUnit
)
Military.kif 672-672
Infantry unit
is a
subclass
of
military unit
(
subclass
Brigade
MilitaryUnit
)
Military.kif 714-714
Brigade
is a
subclass
of
military unit
(
subclass
Battalion
MilitaryUnit
)
Military.kif 732-732
Battalion
is a
subclass
of
military unit
(
subclass
CompanyMilitary
MilitaryUnit
)
Military.kif 736-736
Company- military
is a
subclass
of
military unit
(
subclass
Platoon
MilitaryUnit
)
Military.kif 745-745
Platoon
is a
subclass
of
military unit
(
subclass
MilitarySquad
MilitaryUnit
)
Mid-level-ontology.kif 8375-8375
Military squad
is a
subclass
of
military unit
(
subclass
MilitaryCorps
MilitaryUnit
)
Mid-level-ontology.kif 8378-8378
Military corps
is a
subclass
of
military unit
(
subclass
CavalryUnit
MilitaryUnit
)
Mid-level-ontology.kif 8382-8382
Cavalry unit
is a
subclass
of
military unit
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