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 1400-1402
No TPTP formula. May not be expressible in strict first order.	Government.kif 1397-1397	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 1398-1398	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 1396-1396	leader position is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Government.kif 1395-1395	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 33622-33622
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33621-33621
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33620-33620

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 472-477	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 484-489	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 1427-1431	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 1433-1437	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 1751-1757	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 1736-1746	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 equal the other organization and 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 1449-1456	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 1440-1447	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 242-246	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 1418-1424	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 1427-1431	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 1433-1437	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 382-387	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 404-409	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 436-441	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 428-433	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, 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 457-462	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 1736-1746	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 equal the other organization and 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 1409-1415	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 332-334	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 363-365	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 1406-1406	Prime minister is a leader position of canada
No TPTP formula. May not be expressible in strict first order.	Government.kif 1407-1407	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 1405-1405	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