occupiesPosition - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3852-3854
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16116-16119
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16113-16113	The number 1 argument of occupies position is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16114-16114	The number 2 argument of occupies position is an instance of position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16115-16115	The number 3 argument of occupies position is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16112-16112	occupies position is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 551-551
No TPTP formula. May not be expressible in strict first order.	english_format.kif 559-559
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 552-552
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41611-41611
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41610-41610
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41609-41609

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16430-16438	If college freshman is an attribute of a position and a human holds the position of the position in an organization, then there exists a time position such that the human is a student of the organization holds during the time position and the time position is less than 1 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16444-16455	If college junior is an attribute of a position and a human holds the position of the position in an organization, then there exists a time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 2 year duration(s) and the time position is less than 3 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16461-16472	If college senior is an attribute of a position and a human holds the position of the position in an organization, then there exists a time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 3 year duration(s) and the time position is less than 4 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16478-16489	If college sophomore is an attribute of a position and a human holds the position of the position in an organization, then there exists a time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 1 year duration(s) and the time position is less than 2 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18736-18742	If professor is an attribute of a human and the human holds the position of professor in an educational organization, then the human is a teacher in the educational organization and the educational organization is an instance of post secondary school
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16664-16668	If teacher is an attribute of a human and another human holds the position of the human in an educational organization, then the human is a teacher in the educational organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4474-4482	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation and an organization is an instance of diplomatic organization and the organization は組織 the geopolitical area の government の一部では %n and the human holds the position of the position in the organization and the agent is an instance of geopolitical area, then the agent is an agent operates in area of the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2282-2290	If a geopolitical area is an instance of geopolitical area and a human holds the position of leader in the geopolitical area の government, then there exists a process such that the process is an instance of guiding and the geopolitical area is a patient of the process and the human is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1332-1336	If an organization is an instance of geopolitical area and a human holds the position of leader in the organization, then the human is a leader of the organization の government
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 geopolitical area の government, then the position is a leader position of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3593-3598	If a human is an instance of human and the human holds the position of a position in an organization and banker is an attribute of the position, then the organization is an instance of bank- financial organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16702-16706	If a position is an instance of government position and a human holds the position of the position in the positionRG, then the positionRG is an instance of government 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 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 geopolitical area の government, 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18576-18580	If a human holds the position of a position in an organization and the position is an instance of religious position, then the organization is an instance of religious organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16691-16695	If a human holds the position of a position in an organization and the position is an instance of sports position, then the organization is an instance of sports team
No TPTP formula. May not be expressible in strict first order.	Government.kif 2268-2272	If a human holds the position of a position in an organization and the organization is an instance of political party, then the human is a member of the organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20671-20679	If an organization is subordinate position a position for another position and a human holds the position of the position in the organization, then there exists another human such that the other human is an instance of human and the other human holds the position of the other position in the organization and the organization is subordinate in organization the human for the other human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4822-4826	If an entity holds the position of secretary of the interior in united states department of interior holds during a time position, then the entity is a leader of united states department of interior holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18613-18622	If an entity holds the position of deacon in another entity and the other entity is an instance of religious organization holds during a time position, then there exists a third entity such that the third entity holds the position of cleric in the other entity and the other entity is subordinate in organization the entity for the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16121-16123	If a human holds the position of a position in an organization, then the position is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	People.kif 1292-1294	If a human holds the position of pope in roman catholic church, then the human is a leader of roman catholic church
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18728-18730	If a human holds the position of judge in an organization, then the organization is an instance of judicial organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18720-18726	If a human holds the position of judge in an organization, then the statement there exists an entity such that the entity is an instance of legal decision and the human is an agent of the entity has the modal force of permission

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1836-1840	If an election candidate for position a social role for a cognitive agent and an agent is an agent of the election, then the cognitive agent desires the cognitive agent holds the position of the social role in the agent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-171	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then a human holds the position of valet in the organization and the statement there exists another entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at a third entity and the third entity is an instance of parking area has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Government.kif 4433-4441	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation, then there exists an organization such that the organization is an instance of diplomatic organization and the organization は組織 the geopolitical area の government の一部では %n and the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4443-4447	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization, then the human holds the position of the position in an organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1427-1440	If a process is an instance of appointing and an entity is a patient of the process, then there exist another entity and a third entity such that the entity doesn't hold the position of the other entity in the third entity holds during the beginning of the time of existence of the process and the entity holds the position of the other entity in the third entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1792-1798	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.	Mid-level-ontology.kif 14531-14544	If a process is an instance of transferring position and an agent experiences the process, then there exist an entity, another entity and a third entity such that the agent holds the position of the entity in the third entity holds during the beginning of the time of existence of the process and the agent holds the position of the other entity in the third entity holds during the end of the time of existence of the process and the entity is not equal to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20671-20679	If an organization is subordinate position a position for another position and a human holds the position of the position in the organization, then there exists another human such that the other human is an instance of human and the other human holds the position of the other position in the organization and the organization is subordinate in organization the human for the other human
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 148-151	If an organization is capable of doing valet parking as a agent, then there exists a human such that the human holds the position of valet in the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1548-1550	If a geopolitical area chief of state a position for a human, then the human holds the position of the position in the geopolitical area の government
No TPTP formula. May not be expressible in strict first order.	Government.kif 1552-1554	If a geopolitical area chief of state a position for a human, then the human holds the position of leader in the geopolitical area の government
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16125-16128	If an organization employs a human, then there exists a position such that the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1601-1603	If a geopolitical area is the head of government a position for a human, then the human holds the position of the position in the geopolitical area の government
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18613-18622	If an entity holds the position of deacon in another entity and the other entity is an instance of religious organization holds during a time position, then there exists a third entity such that the third entity holds the position of cleric in the other entity and the other entity is subordinate in organization the entity for the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7349-7353	If an organization is an instance of cafeteria, then there doesn't exist a human such that the human holds the position of service position in the organization
No TPTP formula. May not be expressible in strict first order.	Law.kif 245-248	If a human is the judge in a process, then there exists an organization such that the human holds the position of judge in the organization
No TPTP formula. May not be expressible in strict first order.	Law.kif 168-171	If a human punishes an agent, then there exist an organization and a position such that the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Law.kif 173-179	If a human punishes an agent, then there exist an organization, a position and a process such that the human holds the position of the position in the organization and the human is an agent of the process and the organization wants the process
No TPTP formula. May not be expressible in strict first order.	Law.kif 124-127	If a human rewards an agent, then there exist an organization and a position such that the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Law.kif 129-135	If a human rewards an agent, then there exist an organization, a position and a process such that the human holds the position of the position in the organization and the human is an agent of the process and the organization wants the process

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

KB Term:			Term intersection

English Word: