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

No TPTP formula. May not be expressible in strict first order.	Government.kif 1424-1426
No TPTP formula. May not be expressible in strict first order.	Government.kif 1421-1421	The number 1 argument of leader position is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1422-1422	The number 2 argument of leader position is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1420-1420	leader position is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Government.kif 1419-1419	leader position is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1455-1455
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1454-1454
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1453-1453
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33594-33594
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33593-33593
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33592-33592

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1451-1455	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1457-1461	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1732-1738	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 organizationCOMMANDER is a leader position of the organization, then the organization is subordinate position the position for the organizationCOMMANDER
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1717-1727	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 organizationCOMMANDER is a leader position of the organization, then the organizationCOMMANDER is a leader position of the other organization and the organizationCOMMANDER is a leader position of the third organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1473-1480	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1464-1471	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

No TPTP formula. May not be expressible in strict first order.	Government.kif 230-234	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1442-1448	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1451-1455	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1457-1461	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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- branch of service, then joint forces maritime commander is a leader position of the other organization
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1717-1727	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 organizationCOMMANDER is a leader position of the organization, then the organizationCOMMANDER is a leader position of the other organization and the organizationCOMMANDER is a leader position of the third organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1433-1439	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 320-322	If military dictatorship is a government type of an agent, then military commander is a leader position of the agent
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	Government.kif 1430-1430	Prime minister is a leader position of canada
No TPTP formula. May not be expressible in strict first order.	Government.kif 1431-1431	President is a leader position of iran
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 917-917	ChairmanJC s is a leader position of joint chiefs of staff
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 899-899	ChairmanJC s is a leader position of joint staff
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 900-900	DirectorJS is a leader position of joint staff
No TPTP formula. May not be expressible in strict first order.	Government.kif 1429-1429	Prime minister is a leader position of united kingdom

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 3.0 is open source software produced by Articulate Software and its partners