TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3850-3851
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17018-17020
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17017-17017	Position is a subclass of social role

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2063-2063	Broker is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1353-1353	Chairman is an instance of position
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 912-912	ChairmanJC s is an instance of position
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 332-332	Combatant commander is an instance of position
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2979-2979	Database administrator is an instance of position
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 893-893	DirectorJS is an instance of position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18091-18091	Full time position is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1352-1352	Government deputy is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1616-1616	Governor is an instance of position
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 356-356	Joint forces air commander is an instance of position
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 344-344	Joint forces commander is an instance of position
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 378-378	Joint forces land commander is an instance of position
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 400-400	Joint forces maritime commander is an instance of position
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 432-432	Joint forces special operations commander is an instance of position
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 336-336	Joint task force commander is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1389-1389	King is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 2253-2253	Leader is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1630-1630	Lieutenant governor is an instance of position
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3648-3648	Manager is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1634-1634	Mayor is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1355-1355	Military commander is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1357-1357	Monarch is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 2255-2255	National committee chairman is an instance of position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18095-18095	Part time position is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 2254-2254	Permanent representative is an instance of position

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Government.kif 1780-1780	The number 2 argument of member role is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 4438-4438	The number 3 argument of chief of diplomatic mission is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1550-1550	The number 2 argument of chief of state is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1575-1575	The number 2 argument of chief of state type is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 4515-4515	The number 2 argument of diplomatic representation type is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 4450-4450	The number 3 argument of diplomatic representative in role is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1596-1596	The number 2 argument of head of government is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1433-1433	The number 2 argument of leader position is an instance of position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17024-17024	The number 2 argument of occupies position is an instance of position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22191-22191	The number 2 argument of subordinate position is an instance of position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22192-22192	The number 3 argument of subordinate position is an instance of position

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1786-1792	If an object is an instance of human and an organization is an instance of organization and a position is an instance of position and the member role of the organization and the position is an attribute of the object, then the member of the organization is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Government.kif 1794-1800	If an object is an instance of human and an organization is an instance of organization and a position is an instance of position and the member role of the organization and the position is an attribute of the object, then the object is a member of the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1453-1459	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 1444-1450	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 1803-1809	If a human is an instance of human and an organization is an instance of organization and a position is an instance of position and the member role of the organization and the position is an attribute of the human, then the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1484-1491	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 1475-1482	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 4565-4572

If a geopolitical area is a diplomatic relations of another geopolitical area,
then there exist a position and another position such that the position is an instance of position and the other position is an instance of position and the other geopolitical area diplomatic representation type the position for the geopolitical area and the geopolitical area diplomatic representation type the other position for the other geopolitical area

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

KB Term:			Term intersection

English Word: