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 17336-17338
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17335-17335	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 2054-2054	Broker is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1320-1320	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 2769-2769	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 18974-18974	Full time position is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1319-1319	Government deputy is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1583-1583	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 1356-1356	King is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 2220-2220	Leader is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1597-1597	Lieutenant governor is an instance of position
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3644-3644	Manager is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1601-1601	Mayor is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1322-1322	Military commander is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1324-1324	Monarch is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 2222-2222	National committee chairman is an instance of position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18978-18978	Part time position is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 2221-2221	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 1747-1747	The number 2 argument of member role is an instance of position
No TPTP formula. May not be expressible in strict first order.	Biography.kif 151-151	The number 3 argument of appointedPosition is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 4410-4410	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 1517-1517	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 1542-1542	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 4487-4487	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 4422-4422	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 1563-1563	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 1400-1400	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 17342-17342	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 23028-23028	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 23029-23029	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 1753-1759	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 1761-1767	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 1420-1426	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 1411-1417	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 1770-1776	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 1451-1458	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 1442-1449	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 4537-4544

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: