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
MilitaryOrganization
MilitaryForce
)
Merge.kif 16666-16666
MilitaryOrganization
ist eine
teilkategorie
von
MilitaryForce
(
subclass
MilitaryOrganization
GovernmentOrganization
)
Merge.kif 16667-16667
MilitaryOrganization
ist eine
teilkategorie
von
GovernmentOrganization
(
subclass
SpecialOperationsForces
MilitaryOrganization
)
MilitaryProcesses.kif 299-299
SpecialOperationsForces
ist eine
teilkategorie
von
MilitaryOrganization
(
subclass
ExternalAgency
MilitaryOrganization
)
MilitaryProcesses.kif 879-879
ExternalAgency
ist eine
teilkategorie
von
MilitaryOrganization
(
subclass
JointForces
MilitaryOrganization
)
MilitaryProcesses.kif 1723-1723
JointForces
ist eine
teilkategorie
von
MilitaryOrganization
(
subclass
AirForce-BranchOfService
MilitaryOrganization
)
Military.kif 798-798
AirForce-BranchOfService
ist eine
teilkategorie
von
MilitaryOrganization
(
subclass
MarinesBranchOfService
MilitaryOrganization
)
Military.kif 808-808
MarinesBranchOfService
ist eine
teilkategorie
von
MilitaryOrganization
(
subclass
NavalAirForceBranchOfService
MilitaryOrganization
)
Military.kif 813-813
NavalAirForceBranchOfService
ist eine
teilkategorie
von
MilitaryOrganization
(
subclass
NavyBranchOfService
MilitaryOrganization
)
Military.kif 816-816
NavyBranchOfService
ist eine
teilkategorie
von
MilitaryOrganization
(
subclass
MilitaryService
MilitaryOrganization
)
Mid-level-ontology.kif 8337-8337
MilitaryService
ist eine
teilkategorie
von
MilitaryOrganization
(
subclass
MilitaryUnit
MilitaryOrganization
)
Mid-level-ontology.kif 8354-8354
MilitaryUnit
ist eine
teilkategorie
von
MilitaryOrganization
(
subclass
MilitaryReserveForce
MilitaryOrganization
)
Mid-level-ontology.kif 8369-8369
MilitaryReserveForce
ist eine
teilkategorie
von
MilitaryOrganization
(
subclass
PeaceKeepingMission
MilitaryOrganization
)
Mid-level-ontology.kif 22515-22515
PeaceKeepingMission
ist eine
teilkategorie
von
MilitaryOrganization
(
subclass
FleetMarineForce
MilitaryOrganization
)
Medicine.kif 6057-6057
FleetMarineForce
ist eine
teilkategorie
von
MilitaryOrganization
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