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
MilitaryUnit
est une
sous
-classe de
MilitaryOrganization
(
subclass
LARUnit
MilitaryUnit
)
MilitaryPersons.kif 509-509
LARUnit
est une
sous
-classe de
MilitaryUnit
(
subclass
AssaultAmphibianUnit
MilitaryUnit
)
MilitaryPersons.kif 635-635
AssaultAmphibianUnit
est une
sous
-classe de
MilitaryUnit
(
subclass
PeacekeepingUnit
MilitaryUnit
)
Military.kif 84-84
PeacekeepingUnit
est une
sous
-classe de
MilitaryUnit
(
subclass
InfantryUnit
MilitaryUnit
)
Military.kif 672-672
InfantryUnit
est une
sous
-classe de
MilitaryUnit
(
subclass
Brigade
MilitaryUnit
)
Military.kif 714-714
Brigade
est une
sous
-classe de
MilitaryUnit
(
subclass
Battalion
MilitaryUnit
)
Military.kif 732-732
Battalion
est une
sous
-classe de
MilitaryUnit
(
subclass
CompanyMilitary
MilitaryUnit
)
Military.kif 736-736
CompanyMilitary
est une
sous
-classe de
MilitaryUnit
(
subclass
Platoon
MilitaryUnit
)
Military.kif 745-745
Platoon
est une
sous
-classe de
MilitaryUnit
(
subclass
MilitarySquad
MilitaryUnit
)
Mid-level-ontology.kif 8375-8375
MilitarySquad
est une
sous
-classe de
MilitaryUnit
(
subclass
MilitaryCorps
MilitaryUnit
)
Mid-level-ontology.kif 8378-8378
MilitaryCorps
est une
sous
-classe de
MilitaryUnit
(
subclass
CavalryUnit
MilitaryUnit
)
Mid-level-ontology.kif 8382-8382
CavalryUnit
est une
sous
-classe de
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