Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
MilitaryCommander
Sigma KEE - MilitaryCommander
MilitaryCommander
(military commander)
commandant
,
commander
,
commanding_officer
appearance as argument number 1
(
instance
MilitaryCommander
Position
)
Government.kif 1358-1358
Military commander
is an
instance
of
position
appearance as argument number 2
(
subAttribute
CombatantCommander
MilitaryCommander
)
MilitaryPersons.kif 333-333
Combatant commander
is a
subattribute
of
military commander
(
subAttribute
DirectorJS
MilitaryCommander
)
MilitaryProcesses.kif 894-894
DirectorJS
is a
subattribute
of
military commander
(
subAttribute
JointForcesAirCommander
MilitaryCommander
)
MilitaryPersons.kif 357-357
Joint forces air commander
is a
subattribute
of
military commander
(
subAttribute
JointForcesCommander
MilitaryCommander
)
MilitaryPersons.kif 345-345
Joint forces commander
is a
subattribute
of
military commander
(
subAttribute
JointForcesLandCommander
MilitaryCommander
)
MilitaryPersons.kif 379-379
Joint forces land commander
is a
subattribute
of
military commander
(
subAttribute
JointForcesMaritimeCommander
MilitaryCommander
)
MilitaryPersons.kif 401-401
Joint forces maritime commander
is a
subattribute
of
military commander
(
subAttribute
JointForcesSpecialOperationsCommander
MilitaryCommander
)
MilitaryPersons.kif 433-433
Joint forces special operations commander
is a
subattribute
of
military commander
(
subAttribute
JointTaskForceCommander
MilitaryCommander
)
MilitaryPersons.kif 337-337
Joint task force commander
is a
subattribute
of
military commander
(
subAttribute
President
MilitaryCommander
)
MilitaryPersons.kif 468-468
President
is a
subattribute
of
military commander
(
subAttribute
SecretaryOfDefense
MilitaryCommander
)
MilitaryPersons.kif 455-455
Secretary of defense
is a
subattribute
of
military commander
(
subAttribute
ServiceChief
MilitaryCommander
)
MilitaryPersons.kif 339-339
Service chief
is a
subattribute
of
military commander
(
subAttribute
SubunifiedCommander
MilitaryCommander
)
MilitaryPersons.kif 335-335
Subunified commander
is a
subattribute
of
military commander
(
termFormat
ChineseLanguage
MilitaryCommander
"军事指挥官")
domainEnglishFormat.kif 37565-37565
(
termFormat
ChineseTraditionalLanguage
MilitaryCommander
"軍事指揮官")
domainEnglishFormat.kif 37564-37564
(
termFormat
EnglishLanguage
MilitaryCommander
"military commander")
domainEnglishFormat.kif 37563-37563
consequent
(=>
(
and
(
instance
?PLANNING
OperationPlanning
)
(
agent
?PLANNING ?COMMANDER))
(
or
(
and
(
instance
?COMMANDER
CombatantCommander
)
(
exists
(?REQUEST ?CHAIRMAN)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?CHAIRMAN)
(
attribute
?CHAIRMAN
ChairmanJCS
)
(
causes
?REQUEST ?PLANNING))))
(
and
(
instance
?COMMANDER
SubunifiedCommander
)
(
exists
(?REQUEST ?COMMANDERSUPER ?MILITARY)
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?COMMANDERSUPER)
(
attribute
?COMMANDERSUPER
MilitaryCommander
)
(
subordinatePosition
?MILITARY ?COMMANDER ?COMMANDERSUPER)
(
instance
?MILITARY
MilitaryForce
)
(
causes
?REQUEST ?PLANNING))))))
MilitaryProcesses.kif 1582-1604
If
a process
is an
instance
of
operation planning
and
an agent
is an
agent
of
the process
,
then
the agent
is an
instance
of
combatant commander
and there exist
another process
and
another agent
such that
the other process
is an
instance
of
requesting
and
the other agent
is an
agent
of
the other process
and
chairmanJC s
is an
attribute
of
the other agent
and
the other process
cause
s
the process
or
the agent
is an
instance
of
subunified commander
and there exist
the other process
,
the agent
SUPER and
an organization
such that
the other process
is an
instance
of
requesting
and
the agent
SUPER is an
agent
of
the other process
and
military commander
is an
attribute
of
the agent
SUPER and
the organization
is
subordinate
position
the agent
for
the agent
SUPER and
the organization
is an
instance
of
military force
and
the other process
cause
s
the process
(=>
(
governmentType
?PLACE
MilitaryDictatorship
)
(
leaderPosition
?PLACE
MilitaryCommander
))
Government.kif 332-334
If
military dictatorship
is a
government
type of
an agent
,
then
military commander
is a
leader
position of
the agent
(=>
(
instance
?ORDER
OperationOrder
)
(
exists
(?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER ?MILITARY)
(
and
(
agent
?ORDER ?SUPERIORCOMMANDER)
(
origin
?ORDER ?SUPERIORCOMMANDER)
(
destination
?ORDER ?SUBORDINATECOMMANDER)
(
instance
?SUPERIORCOMMANDER
MilitaryCommander
)
(
instance
?SUBORDINATECOMMANDER
MilitaryCommander
)
(
subordinatePosition
?MILITARY ?SUBORDINATECOMMANDER ?SUPERIORCOMMANDER)
(
instance
?MILITARY
MilitaryForce
))))
MilitaryProcesses.kif 1663-1673
If
a process
is an
instance
of
operation order
,
then there exist
an agent
,
a position
and
an organization
such that
the agent
is an
agent
of
the process
and
the process
originate
s at
the agent
and
the process
end
s up at
the position
and
the agent
is an
instance
of
military commander
and
the position
is an
instance
of
military commander
and
the organization
is
subordinate
position
the position
for
the agent
and
the organization
is an
instance
of
military force
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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