Position - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Position ChineseLanguage "这是 Organization 里一个负责的正式职位，Position 的例子包括：总裁、实验室主管、高级研究员和销售代表等等。")	chinese_format.kif 3850-3851
(documentation Position EnglishLanguage "A formal position of responsibility within an Organization. Examples of Positions include president, laboratory director, senior researcher, sales representative, etc.")	Merge.kif 17462-17464
(subclass Position SocialRole)	Merge.kif 17461-17461	Position is a subclass of social role

appearance as argument number 2

(instance Broker Position)	FinancialOntology.kif 2071-2071	Broker is an instance of position
(instance Chairman Position)	Government.kif 1318-1318	Chairman is an instance of position
(instance ChairmanJCS Position)	MilitaryProcesses.kif 912-912	ChairmanJCS is an instance of position
(instance CombatantCommander Position)	MilitaryPersons.kif 332-332	CombatantCommander is an instance of position
(instance DatabaseAdministrator Position)	UXExperimentalTerms.kif 2769-2769	DatabaseAdministrator is an instance of position
(instance DirectorJS Position)	MilitaryProcesses.kif 893-893	DirectorJS is an instance of position
(instance FullTimePosition Position)	Mid-level-ontology.kif 20276-20276	FullTimePosition is an instance of position
(instance GovernmentDeputy Position)	Government.kif 1317-1317	GovernmentDeputy is an instance of position
(instance Governor Position)	Government.kif 1581-1581	Governor is an instance of position
(instance JointForcesAirCommander Position)	MilitaryPersons.kif 367-367	JointForcesAirCommander is an instance of position
(instance JointForcesCommander Position)	MilitaryPersons.kif 355-355	JointForcesCommander is an instance of position
(instance JointForcesLandCommander Position)	MilitaryPersons.kif 389-389	JointForcesLandCommander is an instance of position
(instance JointForcesMaritimeCommander Position)	MilitaryPersons.kif 411-411	JointForcesMaritimeCommander is an instance of position
(instance JointForcesSpecialOperationsCommander Position)	MilitaryPersons.kif 443-443	JointForcesSpecialOperationsCommander is an instance of position
(instance JointTaskForceCommander Position)	MilitaryPersons.kif 347-347	JointTaskForceCommander is an instance of position
(instance King Position)	Government.kif 1354-1354	King is an instance of position
(instance Leader Position)	Government.kif 2217-2217	Leader is an instance of position
(instance LieutenantGovernor Position)	Government.kif 1595-1595	LieutenantGovernor is an instance of position
(instance Manager Position)	FinancialOntology.kif 3662-3662	Manager is an instance of position
(instance Mayor Position)	Government.kif 1599-1599	Mayor is an instance of position
(instance MilitaryCommander Position)	Government.kif 1320-1320	MilitaryCommander is an instance of position
(instance Monarch Position)	Government.kif 1322-1322	Monarch is an instance of position
(instance NationalCommitteeChairman Position)	Government.kif 2219-2219	NationalCommitteeChairman is an instance of position
(instance PartTimePosition Position)	Mid-level-ontology.kif 20280-20280	PartTimePosition is an instance of position
(instance PermanentRepresentative Position)	Government.kif 2218-2218	PermanentRepresentative 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

(domain MemberRoleFn 2 Position)	Government.kif 1745-1745	The number 2 argument of MemberRoleFn is an instance of position
(domain appointedPosition 3 Position)	Biography.kif 156-156	The number 3 argument of appointedPosition is an instance of position
(domain chiefOfDiplomaticMission 3 Position)	Government.kif 4407-4407	The number 3 argument of chiefOfDiplomaticMission is an instance of position
(domain chiefOfState 2 Position)	Government.kif 1515-1515	The number 2 argument of chiefOfState is an instance of position
(domain chiefOfStateType 2 Position)	Government.kif 1540-1540	The number 2 argument of chiefOfStateType is an instance of position
(domain diplomaticRepresentationType 2 Position)	Government.kif 4484-4484	The number 2 argument of diplomaticRepresentationType is an instance of position
(domain diplomaticRepresentativeInRole 3 Position)	Government.kif 4419-4419	The number 3 argument of diplomaticRepresentativeInRole is an instance of position
(domain headOfGovernment 2 Position)	Government.kif 1561-1561	The number 2 argument of headOfGovernment is an instance of position
(domain leaderPosition 2 Position)	Government.kif 1398-1398	The number 2 argument of leaderPosition is an instance of position
(domain occupiesPosition 2 Position)	Merge.kif 17468-17468	The number 2 argument of occupiesPosition is an instance of position
(domain subordinatePosition 2 Position)	Mid-level-ontology.kif 24377-24377	The number 2 argument of subordinatePosition is an instance of position
(domain subordinatePosition 3 Position)	Mid-level-ontology.kif 24378-24378	The number 3 argument of subordinatePosition is an instance of position

antecedent

(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1751-1757	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 MemberRoleFn the organization and the position is an attribute of the object, then MemberFn the organization is an attribute of the object
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG))	Government.kif 1759-1765	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 MemberRoleFn the organization and the position is an attribute of the object, then the object is a member of the organization
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1418-1424	If a geopolitical area is an instance of nation and leader the geopolitical area and a human 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 leaderPosition the geopolitical area and the position
(=> (and (instance ?ORG AutonomousAgent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE))	Government.kif 1409-1415	If an organization is an instance of agent and leader the organization and a human and a position is an instance of position and the human holds the position of the position in the organization, then leaderPosition the organization and the position
(=> (and (instance ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 1768-1774	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 MemberRoleFn the organization and the position is an attribute of the human, then the human holds the position of the position in the organization
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?AREA GeopoliticalArea) (leaderPosition ?AREA ?ROLE) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?AREA))) (leader ?AREA ?PERSON))	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 leaderPosition the geopolitical area and the position and the human holds the position of the position in the government of the geopolitical area, then leader the geopolitical area and the human
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG AutonomousAgent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON))	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 leaderPosition the organization and the position and the human holds the position of the position in the organization, then leader the organization and the human

consequent

(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE1 ?ROLE2)
        (and
            (instance ?ROLE1 Position)
            (instance ?ROLE2 Position)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1))))

Government.kif 4534-4541

If diplomaticRelations a geopolitical area and 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 diplomaticRepresentationType the geopolitical area, the position and the other geopolitical area and diplomaticRepresentationType the other geopolitical area, the other position and the geopolitical area

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: