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 1402-1404
(
domain
leaderPosition
1
AutonomousAgent
)
Government.kif 1399-1399
Il numero 1 argomenti di
leaderPosition
è un
istanza
di
AutonomousAgent
(
domain
leaderPosition
2
Position
)
Government.kif 1400-1400
Il numero 2 argomenti di
leaderPosition
è un
istanza
di
Posizione
(
instance
leaderPosition
AsymmetricRelation
)
Government.kif 1398-1398
leaderPosition
è un'
istanza
di
RelazioneAsimmetrica
(
instance
leaderPosition
BinaryPredicate
)
Government.kif 1397-1397
leaderPosition
è un'
istanza
di
PredicatoBinario
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
attribute
Organizzazione
and
PeaceState
Organizzazione
è un'
istanza
di
MilitaryOrganization
leaderPosition
Organizzazione
and
Posizione
subordinatePosition
Organizzazione
,
Posizione
and
SecretaryOfDefense
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
attribute
Organizzazione
and
WarState
Organizzazione
è un'
istanza
di
MilitaryOrganization
leaderPosition
Organizzazione
and
Posizione
subordinatePosition
Organizzazione
,
Posizione
and
President
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1429-1433
AreaGeopolitica
è un'
istanza
di
Nazione
leaderPosition
GovernmentFn
AreaGeopolitica
and
Posizione
leaderPosition
AreaGeopolitica
and
Posizione
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1435-1439
AreaGeopolitica
è un'
istanza
di
Nazione
leaderPosition
AreaGeopolitica
and
Posizione
leaderPosition
GovernmentFn
AreaGeopolitica
and
Posizione
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
leaderPosition
Organizzazione
and
Posizione
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
subordinatePosition
Organizzazione
,
Posizione
and
Organizzazione
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
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
is
uguale
a
Organizzazione
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1451-1458
Umano
è un'
istanza
di
Umano
Posizione
è un'
istanza
di
Posizione
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
leaderPosition
AreaGeopolitica
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
GovernmentFn
AreaGeopolitica
leader
AreaGeopolitica
and
Umano
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1442-1449
Umano
è un'
istanza
di
Umano
Posizione
è un'
istanza
di
Posizione
Organizzazione
è un'
istanza
di
AutonomousAgent
leaderPosition
Organizzazione
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
leader
Organizzazione
and
Umano
consequent
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
governmentType
AutonomousAgent
and
AbsoluteMonarchy
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
leaderPosition
AutonomousAgent
and
Monarch
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leader
?COUNTRY ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?COUNTRY)))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1420-1426
AreaGeopolitica
è un'
istanza
di
Nazione
leader
AreaGeopolitica
and
Umano
Posizione
è un'
istanza
di
Posizione
Umano
occupa la
posizione
di
Posizione
in
GovernmentFn
AreaGeopolitica
leaderPosition
AreaGeopolitica
and
Posizione
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1429-1433
AreaGeopolitica
è un'
istanza
di
Nazione
leaderPosition
GovernmentFn
AreaGeopolitica
and
Posizione
leaderPosition
AreaGeopolitica
and
Posizione
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1435-1439
AreaGeopolitica
è un'
istanza
di
Nazione
leaderPosition
AreaGeopolitica
and
Posizione
leaderPosition
GovernmentFn
AreaGeopolitica
and
Posizione
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
AirForce
leaderPosition
Organizzazione
and
JointForcesAirCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
Army
leaderPosition
Organizzazione
and
JointForcesLandCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
CoastGuard
leaderPosition
Organizzazione
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
NavyBranchOfService
leaderPosition
Organizzazione
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
SpecialOperationsForces
leaderPosition
Organizzazione
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
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
is
uguale
a
Organizzazione
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1411-1417
Organizzazione
è un'
istanza
di
AutonomousAgent
leader
Organizzazione
and
Umano
Posizione
è un'
istanza
di
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
leaderPosition
Organizzazione
and
Posizione
(=>
(
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
è un'
istanza
di
JointForces
leaderPosition
AutonomousAgent
and
JointForcesCommander
appearance as argument number 0
(
leaderPosition
Canada
PrimeMinister
)
Government.kif 1408-1408
leaderPosition
Canada
and
PrimeMinister
(
leaderPosition
Iran
President
)
Government.kif 1409-1409
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 1407-1407
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