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
leaderPosition
Sigma KEE - leaderPosition
leaderPosition
appearance as argument number 1
(
documentation
leaderPosition
EnglishLanguage
"(
leaderPosition
?ORG ?ROLE) means that in the organization ?ORG, the leader is the person who holds the
Position
?ROLE in the organization.")
Government.kif 1438-1440
(
domain
leaderPosition
1
AutonomousAgent
)
Government.kif 1435-1435
The number 1 argument of
leader position
is an
instance
of
agent
(
domain
leaderPosition
2
Position
)
Government.kif 1436-1436
The number 2 argument of
leader position
is an
instance
of
position
(
instance
leaderPosition
AsymmetricRelation
)
Government.kif 1434-1434
leader position
is an
instance
of
asymmetric relation
(
instance
leaderPosition
BinaryPredicate
)
Government.kif 1433-1433
leader position
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
leaderPosition
"%2 %n 是 %1 的
leader
职位")
domainEnglishFormat.kif 1455-1455
(
format
ChineseTraditionalLanguage
leaderPosition
"%2 %n 是 %1 的
leader
職位")
domainEnglishFormat.kif 1454-1454
(
format
EnglishLanguage
leaderPosition
"%2 is %n a
leader
position of %1")
domainEnglishFormat.kif 1453-1453
(
termFormat
ChineseLanguage
leaderPosition
"领导职位")
domainEnglishFormat.kif 33611-33611
(
termFormat
ChineseTraditionalLanguage
leaderPosition
"領導職位")
domainEnglishFormat.kif 33610-33610
(
termFormat
EnglishLanguage
leaderPosition
"leader position")
domainEnglishFormat.kif 33609-33609
antecedent
(=>
(
and
(
attribute
?MILITARY
PeaceState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
SecretaryOfDefense
))
MilitaryPersons.kif 461-466
If
peace state
is an
attribute
of
an organization
and
the organization
is an
instance
of
military organization
and
a position
is a
leader
position of
the organization
,
then
the organization
is
subordinate
position
the position
for
secretary of defense
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
If
war state
is an
attribute
of
an organization
and
the organization
is an
instance
of
military organization
and
a position
is a
leader
position of
the organization
,
then
the organization
is
subordinate
position
the position
for
president
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
If
a geopolitical area
is an
instance
of
nation
and
a position
is a
leader
position of the
government
of
the geopolitical area
,
then
the position
is a
leader
position of
the geopolitical area
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
If
a geopolitical area
is an
instance
of
nation
and
a position
is a
leader
position of
the geopolitical area
,
then
the position
is a
leader
position of the
government
of
the geopolitical area
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
a position
is a
leader
position of
the other organization
and
the organization
COMMANDER is a
leader
position of
the organization
,
then
the organization
is
subordinate
position
the position
for
the organization
COMMANDER
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
subOrganization
?FORCE2 ?JOINT)
(
not
(
equal
?FORCE1 ?FORCE2))
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
and
(
leaderPosition
?FORCE1 ?JOINTCOMMANDER)
(
leaderPosition
?FORCE2 ?JOINTCOMMANDER)))
MilitaryProcesses.kif 1736-1746
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
a third organization
is a part of the organization
the organization
and
the other organization
is not
equal
to
the third organization
and
the organization
COMMANDER is a
leader
position of
the organization
,
then
the organization
COMMANDER is a
leader
position of
the other organization
and
the organization
COMMANDER is a
leader
position of
the third organization
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1487-1494
If
a human
is an
instance
of
human
and
a position
is an
instance
of
position
and
a geopolitical area
is an
instance
of
geopolitical area
and
the position
is a
leader
position of
the geopolitical area
and
the human
holds the
position
of
the position
in the
government
of
the geopolitical area
,
then
the human
is a
leader
of
the geopolitical area
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
If
a human
is an
instance
of
human
and
a position
is an
instance
of
position
and
an organization
is an
instance
of
agent
and
the position
is a
leader
position of
the organization
and
the human
holds the
position
of
the position
in
the organization
,
then
the human
is a
leader
of
the organization
consequent
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
If
absolute monarchy
is a
government
type of
an agent
and
the agent
is an
instance
of
geopolitical area
,
then
monarch
is a
leader
position of
the agent
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
If
a geopolitical area
is an
instance
of
nation
and
a human
is a
leader
of
the geopolitical area
and
a position
is an
instance
of
position
and
the human
holds the
position
of
the position
in the
government
of
the geopolitical area
,
then
the position
is a
leader
position of
the geopolitical area
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
If
a geopolitical area
is an
instance
of
nation
and
a position
is a
leader
position of the
government
of
the geopolitical area
,
then
the position
is a
leader
position of
the geopolitical area
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
If
a geopolitical area
is an
instance
of
nation
and
a position
is a
leader
position of
the geopolitical area
,
then
the position
is a
leader
position of the
government
of
the geopolitical area
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
air force
,
then
joint forces air commander
is a
leader
position of
the other organization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
army
,
then
joint forces land commander
is a
leader
position of
the other organization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
coast guard
,
then
joint forces maritime commander
is a
leader
position of
the other organization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
Navy
,
then
joint forces maritime commander
is a
leader
position of
the other organization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
the other organization
is an
instance
of
special operations forces
,
then
joint forces special operations commander
is a
leader
position of
the other organization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
subOrganization
?FORCE2 ?JOINT)
(
not
(
equal
?FORCE1 ?FORCE2))
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
and
(
leaderPosition
?FORCE1 ?JOINTCOMMANDER)
(
leaderPosition
?FORCE2 ?JOINTCOMMANDER)))
MilitaryProcesses.kif 1736-1746
If
an organization
is an
instance
of
joint forces
and
another organization
is a part of the organization
the organization
and
a third organization
is a part of the organization
the organization
and
the other organization
is not
equal
to
the third organization
and
the organization
COMMANDER is a
leader
position of
the organization
,
then
the organization
COMMANDER is a
leader
position of
the other organization
and
the organization
COMMANDER is a
leader
position of
the third organization
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
If
an organization
is an
instance
of
agent
and
a human
is a
leader
of
the organization
and
a position
is an
instance
of
position
and
the human
holds the
position
of
the position
in
the organization
,
then
the position
is a
leader
position of
the organization
(=>
(
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
?JOINT
JointForces
)
(
leaderPosition
?JOINT
JointForcesCommander
))
MilitaryPersons.kif 352-354
If
an agent
is an
instance
of
joint forces
,
then
joint forces commander
is a
leader
position of
the agent
appearance as argument number 0
(
leaderPosition
Canada
PrimeMinister
)
Government.kif 1444-1444
Prime minister
is a
leader
position of
canada
(
leaderPosition
Iran
President
)
Government.kif 1445-1445
President
is a
leader
position of
iran
(
leaderPosition
JointChiefsOfStaff
ChairmanJCS
)
MilitaryProcesses.kif 917-917
ChairmanJC s
is a
leader
position of
joint chiefs of staff
(
leaderPosition
JointStaff
ChairmanJCS
)
MilitaryProcesses.kif 899-899
ChairmanJC s
is a
leader
position of
joint staff
(
leaderPosition
JointStaff
DirectorJS
)
MilitaryProcesses.kif 900-900
DirectorJS
is a
leader
position of
joint staff
(
leaderPosition
UnitedKingdom
PrimeMinister
)
Government.kif 1443-1443
Prime minister
is a
leader
position of
united kingdom
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