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
军事单位
是
军事组织
的
subclass
(
subclass
LARUnit
MilitaryUnit
)
MilitaryPersons.kif 509-509
LAR单位
是
军事单位
的
subclass
(
subclass
AssaultAmphibianUnit
MilitaryUnit
)
MilitaryPersons.kif 635-635
突击两栖动物单位
是
军事单位
的
subclass
(
subclass
PeacekeepingUnit
MilitaryUnit
)
Military.kif 84-84
维和部队
是
军事单位
的
subclass
(
subclass
InfantryUnit
MilitaryUnit
)
Military.kif 672-672
步兵部队
是
军事单位
的
subclass
(
subclass
Brigade
MilitaryUnit
)
Military.kif 714-714
旅
是
军事单位
的
subclass
(
subclass
Battalion
MilitaryUnit
)
Military.kif 732-732
营
是
军事单位
的
subclass
(
subclass
CompanyMilitary
MilitaryUnit
)
Military.kif 736-736
公司- 军事
是
军事单位
的
subclass
(
subclass
Platoon
MilitaryUnit
)
Military.kif 745-745
排
是
军事单位
的
subclass
(
subclass
MilitarySquad
MilitaryUnit
)
Mid-level-ontology.kif 8375-8375
军队
是
军事单位
的
subclass
(
subclass
MilitaryCorps
MilitaryUnit
)
Mid-level-ontology.kif 8378-8378
军团
是
军事单位
的
subclass
(
subclass
CavalryUnit
MilitaryUnit
)
Mid-level-ontology.kif 8382-8382
骑兵部队
是
军事单位
的
subclass
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