leaderPosition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 1392-1394
(domain leaderPosition 1 Agent)	Government.kif 1389-1389	domain leaderPosition, 1 and Agent
(domain leaderPosition 2 Position)	Government.kif 1390-1390	domain leaderPosition, 2 and Position
(instance leaderPosition AsymmetricRelation)	Government.kif 1388-1388	instance leaderPosition and AsymmetricRelation
(instance leaderPosition BinaryPredicate)	Government.kif 1387-1387	instance leaderPosition and BinaryPredicate

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 33505-33505
(termFormat ChineseTraditionalLanguage leaderPosition "領導職位")	domainEnglishFormat.kif 33504-33504
(termFormat EnglishLanguage leaderPosition "leader position")	domainEnglishFormat.kif 33503-33503

antecedent

(=> (and (attribute ?MILITARY PeaceState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense))	MilitaryPersons.kif 461-466	attribute Organization and PeaceState instance Organization and MilitaryOrganization leaderPosition Organization and Position subordinatePosition Organization, Position and SecretaryOfDefense
(=> (and (attribute ?MILITARY WarState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER President))	MilitaryPersons.kif 473-478	attribute Organization and WarState instance Organization and MilitaryOrganization leaderPosition Organization and Position subordinatePosition Organization, Position and President
(=> (and (instance ?COUNTRY Nation) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1419-1423	instance GeopoliticalArea and Nation leaderPosition GovernmentFn GeopoliticalArea and Position leaderPosition GeopoliticalArea and Position
(=> (and (instance ?COUNTRY Nation) (leaderPosition ?COUNTRY ?ROLE)) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE))	Government.kif 1425-1429	instance GeopoliticalArea and Nation leaderPosition GeopoliticalArea and Position leaderPosition GovernmentFn GeopoliticalArea and Position
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (leaderPosition ?FORCE1 ?COMMANDER1) (leaderPosition ?JOINT ?JOINTCOMMANDER)) (subordinatePosition ?JOINT ?COMMANDER1 ?JOINTCOMMANDER))	MilitaryProcesses.kif 1732-1738	instance Organization and JointForces subOrganization Organization and Organization leaderPosition Organization and Position leaderPosition Organization and OrganizationCOMMANDER subordinatePosition Organization, Position and OrganizationCOMMANDER
(=> (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 1717-1727	instance Organization and JointForces subOrganization Organization and Organization subOrganization Organization and Organization equal Organization and Organization leaderPosition Organization and OrganizationCOMMANDER leaderPosition Organization and OrganizationCOMMANDER leaderPosition Organization and OrganizationCOMMANDER
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?AREA GeopoliticalArea) (leaderPosition ?AREA ?ROLE) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?AREA))) (leader ?AREA ?PERSON))	Government.kif 1441-1448	instance Human and Human instance Position and Position instance GeopoliticalArea and GeopoliticalArea leaderPosition GeopoliticalArea and Position occupiesPosition Human, Position and GovernmentFn GeopoliticalArea leader GeopoliticalArea and Human
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG Agent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON))	Government.kif 1432-1439	instance Human and Human instance Position and Position instance Organization and Agent leaderPosition Organization and Position occupiesPosition Human, Position and Organization leader Organization and Human

consequent

(=> (and (governmentType ?PLACE AbsoluteMonarchy) (instance ?PLACE GeopoliticalArea)) (leaderPosition ?PLACE Monarch))	Government.kif 230-234	governmentType Agent and AbsoluteMonarchy instance Agent and GeopoliticalArea leaderPosition Agent and Monarch
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1410-1416	instance GeopoliticalArea and Nation leader GeopoliticalArea and Human instance Position and Position occupiesPosition Human, Position and GovernmentFn GeopoliticalArea leaderPosition GeopoliticalArea and Position
(=> (and (instance ?COUNTRY Nation) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1419-1423	instance GeopoliticalArea and Nation leaderPosition GovernmentFn GeopoliticalArea and Position leaderPosition GeopoliticalArea and Position
(=> (and (instance ?COUNTRY Nation) (leaderPosition ?COUNTRY ?ROLE)) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE))	Government.kif 1425-1429	instance GeopoliticalArea and Nation leaderPosition GeopoliticalArea and Position leaderPosition GovernmentFn GeopoliticalArea and Position
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 AirForce)) (leaderPosition ?FORCE1 JointForcesAirCommander))	MilitaryPersons.kif 371-376	instance Organization and JointForces subOrganization Organization and Organization instance Organization and AirForce leaderPosition Organization and JointForcesAirCommander
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 Army)) (leaderPosition ?FORCE1 JointForcesLandCommander))	MilitaryPersons.kif 393-398	instance Organization and JointForces subOrganization Organization and Organization instance Organization and Army leaderPosition Organization and JointForcesLandCommander
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 CoastGuard)) (leaderPosition ?FORCE1 JointForcesMaritimeCommander))	MilitaryPersons.kif 425-430	instance Organization and JointForces subOrganization Organization and Organization instance Organization and CoastGuard leaderPosition Organization and JointForcesMaritimeCommander
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 Navy-BranchOfService)) (leaderPosition ?FORCE1 JointForcesMaritimeCommander))	MilitaryPersons.kif 417-422	instance Organization and JointForces subOrganization Organization and Organization instance Organization and Navy-BranchOfService leaderPosition Organization and JointForcesMaritimeCommander
(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 SpecialOperationsForces)) (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))	MilitaryPersons.kif 446-451	instance Organization and JointForces subOrganization Organization and Organization instance Organization and SpecialOperationsForces leaderPosition Organization 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 1717-1727	instance Organization and JointForces subOrganization Organization and Organization subOrganization Organization and Organization equal Organization and Organization leaderPosition Organization and OrganizationCOMMANDER leaderPosition Organization and OrganizationCOMMANDER leaderPosition Organization and OrganizationCOMMANDER
(=> (and (instance ?ORG Agent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE))	Government.kif 1401-1407	instance Organization and Agent leader Organization and Human instance Position and Position occupiesPosition Human, Position and Organization leaderPosition Organization and Position
(=> (governmentType ?PLACE MilitaryDictatorship) (leaderPosition ?PLACE MilitaryCommander))	Government.kif 320-322	governmentType Agent and MilitaryDictatorship leaderPosition Agent and MilitaryCommander
(=> (instance ?JOINT JointForces) (leaderPosition ?JOINT JointForcesCommander))	MilitaryPersons.kif 352-354	instance Agent and JointForces leaderPosition Agent and JointForcesCommander

appearance as argument number 0

(leaderPosition Canada PrimeMinister)	Government.kif 1398-1398	leaderPosition Canada and PrimeMinister
(leaderPosition Iran President)	Government.kif 1399-1399	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 1397-1397	leaderPosition UnitedKingdom and PrimeMinister

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners