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
O argumento numero 1 de
leaderPosition
e' uma
instancia
de
AutonomousAgent
(
domain
leaderPosition
2
Position
)
Government.kif 1436-1436
O argumento numero 2 de
leaderPosition
e' uma
instancia
de
Posicao
(
instance
leaderPosition
AsymmetricRelation
)
Government.kif 1434-1434
leaderPosition
e' uma
instancia
de
Relacao Assimetrica
(
instance
leaderPosition
BinaryPredicate
)
Government.kif 1433-1433
leaderPosition
e' uma
instancia
de
Predicado Binario
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
e' um
atributo
de
Organizacao
Organizacao
e' uma
instancia
de
MilitaryOrganization
leaderPosition
Organizacao
and
Posicao
subordinatePosition
Organizacao
,
Posicao
and
SecretaryOfDefense
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
WarState
e' um
atributo
de
Organizacao
Organizacao
e' uma
instancia
de
MilitaryOrganization
leaderPosition
Organizacao
and
Posicao
subordinatePosition
Organizacao
,
Posicao
and
President
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
Area Geopolitica
e' uma
instancia
de
Nacao
leaderPosition
o
governo
de
Area Geopolitica
and
Posicao
leaderPosition
Area Geopolitica
and
Posicao
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
Area Geopolitica
e' uma
instancia
de
Nacao
leaderPosition
Area Geopolitica
and
Posicao
leaderPosition
o
governo
de
Area Geopolitica
and
Posicao
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
leaderPosition
Organizacao
and
Posicao
leaderPosition
Organizacao
and
Organizacao
COMMANDER
subordinatePosition
Organizacao
,
Posicao
and
Organizacao
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
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e'
igual
a
Organizacao
leaderPosition
Organizacao
and
Organizacao
COMMANDER
leaderPosition
Organizacao
and
Organizacao
COMMANDER
leaderPosition
Organizacao
and
Organizacao
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
Humano
e' uma
instancia
de
Humano
Posicao
e' uma
instancia
de
Posicao
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
leaderPosition
Area Geopolitica
and
Posicao
Humano
ocupa a
posicao
de
Posicao
o
governo
de
Area Geopolitica
leader
Area Geopolitica
and
Humano
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
Humano
e' uma
instancia
de
Humano
Posicao
e' uma
instancia
de
Posicao
Organizacao
e' uma
instancia
de
AutonomousAgent
leaderPosition
Organizacao
and
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
leader
Organizacao
and
Humano
consequent
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
governmentType
AutonomousAgent
and
AbsoluteMonarchy
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
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
Area Geopolitica
e' uma
instancia
de
Nacao
leader
Area Geopolitica
and
Humano
Posicao
e' uma
instancia
de
Posicao
Humano
ocupa a
posicao
de
Posicao
o
governo
de
Area Geopolitica
leaderPosition
Area Geopolitica
and
Posicao
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
(
leaderPosition
?COUNTRY ?ROLE))
Government.kif 1465-1469
Area Geopolitica
e' uma
instancia
de
Nacao
leaderPosition
o
governo
de
Area Geopolitica
and
Posicao
leaderPosition
Area Geopolitica
and
Posicao
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
leaderPosition
?COUNTRY ?ROLE))
(
leaderPosition
(
GovernmentFn
?COUNTRY) ?ROLE))
Government.kif 1471-1475
Area Geopolitica
e' uma
instancia
de
Nacao
leaderPosition
Area Geopolitica
and
Posicao
leaderPosition
o
governo
de
Area Geopolitica
and
Posicao
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
AirForce
leaderPosition
Organizacao
and
JointForcesAirCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
Army
leaderPosition
Organizacao
and
JointForcesLandCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
CoastGuard
leaderPosition
Organizacao
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
NavyBranchOfService
leaderPosition
Organizacao
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
SpecialOperationsForces
leaderPosition
Organizacao
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
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e'
igual
a
Organizacao
leaderPosition
Organizacao
and
Organizacao
COMMANDER
leaderPosition
Organizacao
and
Organizacao
COMMANDER
leaderPosition
Organizacao
and
Organizacao
COMMANDER
(=>
(
and
(
instance
?ORG
AutonomousAgent
)
(
leader
?ORG ?PERSON)
(
instance
?ROLE
Position
)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leaderPosition
?ORG ?ROLE))
Government.kif 1447-1453
Organizacao
e' uma
instancia
de
AutonomousAgent
leader
Organizacao
and
Humano
Posicao
e' uma
instancia
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
leaderPosition
Organizacao
and
Posicao
(=>
(
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
e' uma
instancia
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