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
Le nombre 1 argument de
leaderPosition
est une
instance
de
AutonomousAgent
(
domain
leaderPosition
2
Position
)
Government.kif 1436-1436
Le nombre 2 argument de
leaderPosition
est une
instance
de
position
(
instance
leaderPosition
AsymmetricRelation
)
Government.kif 1434-1434
leaderPosition
est une
instance
de
relation asym�trique
(
instance
leaderPosition
BinaryPredicate
)
Government.kif 1433-1433
leaderPosition
est une
instance
de
pr�dicat binaire
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
PeaceState
est un
attribut
de
organisation
organisation
est une
instance
de
MilitaryOrganization
leaderPosition
organisation
and
position
subordinatePosition
organisation
,
position
and
SecretaryOfDefense
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
WarState
est un
attribut
de
organisation
organisation
est une
instance
de
MilitaryOrganization
leaderPosition
organisation
and
position
subordinatePosition
organisation
,
position
and
President
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
Secteur g�opolitique
est une
instance
de
nation
leaderPosition
le
gouvernment
de
secteur g�opolitique
and
position
leaderPosition
secteur g�opolitique
and
position
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
Secteur g�opolitique
est une
instance
de
nation
leaderPosition
secteur g�opolitique
and
position
leaderPosition
le
gouvernment
de
secteur g�opolitique
and
position
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
leaderPosition
organisation
and
position
leaderPosition
organisation
and
organisation
COMMANDER
subordinatePosition
organisation
,
position
and
organisation
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
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une partie de l'organization
organisation
organisation
est
organisation
leaderPosition
organisation
and
organisation
COMMANDER
leaderPosition
organisation
and
organisation
COMMANDER
leaderPosition
organisation
and
organisation
COMMANDER
(=>
(
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
Humain
est une
instance
de
humain
position
est une
instance
de
position
secteur g�opolitique
est une
instance
de
secteur g�opolitique
leaderPosition
secteur g�opolitique
and
position
humain
occupe la
position
de
position
le
gouvernment
de
secteur g�opolitique
leader
secteur g�opolitique
and
humain
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
Humain
est une
instance
de
humain
position
est une
instance
de
position
organisation
est une
instance
de
AutonomousAgent
leaderPosition
organisation
and
position
humain
occupe la
position
de
position
organisation
leader
organisation
and
humain
consequent
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
governmentType
AutonomousAgent
and
AbsoluteMonarchy
AutonomousAgent
est une
instance
de
secteur g�opolitique
leaderPosition
AutonomousAgent
and
Monarch
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1456-1462
Secteur g�opolitique
est une
instance
de
nation
leader
secteur g�opolitique
and
humain
position
est une
instance
de
position
humain
occupe la
position
de
position
le
gouvernment
de
secteur g�opolitique
leaderPosition
secteur g�opolitique
and
position
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
Secteur g�opolitique
est une
instance
de
nation
leaderPosition
le
gouvernment
de
secteur g�opolitique
and
position
leaderPosition
secteur g�opolitique
and
position
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
Secteur g�opolitique
est une
instance
de
nation
leaderPosition
secteur g�opolitique
and
position
leaderPosition
le
gouvernment
de
secteur g�opolitique
and
position
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
AirForce
leaderPosition
organisation
and
JointForcesAirCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
Army
leaderPosition
organisation
and
JointForcesLandCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
CoastGuard
leaderPosition
organisation
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
NavyBranchOfService
leaderPosition
organisation
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
SpecialOperationsForces
leaderPosition
organisation
and
JointForcesSpecialOperationsCommander
(=>
(
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
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une partie de l'organization
organisation
organisation
est
organisation
leaderPosition
organisation
and
organisation
COMMANDER
leaderPosition
organisation
and
organisation
COMMANDER
leaderPosition
organisation
and
organisation
COMMANDER
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
Organisation
est une
instance
de
AutonomousAgent
leader
organisation
and
humain
position
est une
instance
de
position
humain
occupe la
position
de
position
organisation
leaderPosition
organisation
and
position
(=>
(
governmentType
?PLACE
MilitaryDictatorship
)
(
leaderPosition
?PLACE
MilitaryCommander
))
Government.kif 332-334
governmentType
AutonomousAgent
and
MilitaryDictatorship
leaderPosition
AutonomousAgent
and
MilitaryCommander
(=>
(
instance
?JOINT
JointForces
)
(
leaderPosition
?JOINT
JointForcesCommander
))
MilitaryPersons.kif 352-354
AutonomousAgent
est une
instance
de
JointForces
leaderPosition
AutonomousAgent
and
JointForcesCommander
appearance as argument number 0
(
leaderPosition
Canada
PrimeMinister
)
Government.kif 1444-1444
leaderPosition
Canada
and
PrimeMinister
(
leaderPosition
Iran
President
)
Government.kif 1445-1445
leaderPosition
Iran
and
President
(
leaderPosition
JointChiefsOfStaff
ChairmanJCS
)
MilitaryProcesses.kif 917-917
leaderPosition
JointChiefsOfStaff
and
ChairmanJCS
(
leaderPosition
JointStaff
ChairmanJCS
)
MilitaryProcesses.kif 899-899
leaderPosition
JointStaff
and
ChairmanJCS
(
leaderPosition
JointStaff
DirectorJS
)
MilitaryProcesses.kif 900-900
leaderPosition
JointStaff
and
DirectorJS
(
leaderPosition
UnitedKingdom
PrimeMinister
)
Government.kif 1443-1443
leaderPosition
UnitedKingdom
and
PrimeMinister
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