Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Position
Position(position)Agriculture_Secretary, Andre_Eglevsky, Arabist, Attorney_General, Barbary_pirate, Bertram_Brockhouse, Brahe, Brockhouse, CEO, CFO, CPA, Chancellor, Chancellor_of_the_Exchequer, Cheops, Chief_Secretary, Commerce_Secretary, Comptroller_General, Comptroller_of_the_Currency, Congreve, Counsel_to_the_Crown, Cronyn, DA, DCI, DJ, Director_of_Central_Intelligence, ENT_man, Education_Secretary, Eglevsky, Ellsworth, Energy_Secretary, English_professor, English_teacher, FBI_agent, Father, Federico_Fellini, Fellini, First_Lord_of_the_Treasury, Frank_Whittle, Frederic_Goudy, Frederic_William_Goudy, French_teacher, G-man, GP, Gerard_Kuiper, Gerard_Peter_Kuiper, Gongorist, Goudy, Hebraist, Henri_Pitot, Holy_Roman_Emperor...

appearance as argument number 1
-------------------------


(subclass Position SocialRole) Merge.kif 17614-17614 Position is a subclass of social role
(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 17615-17617 Position is a subclass of social role

appearance as argument number 2
-------------------------


(subclass ManualLabor Position) Mid-level-ontology.kif 9633-9633 Manual labor is a subclass of position
(instance FullTimePosition Position) Mid-level-ontology.kif 20638-20638 Full timer is an instance of position
(instance PartTimePosition Position) Mid-level-ontology.kif 20642-20642 Part timer is an instance of position
(subclass CollegeStudentPosition Position) Mid-level-ontology.kif 20724-20724 College student position is a subclass of position
(subclass ModellingPosition Position) Mid-level-ontology.kif 20898-20898 Modelling position is a subclass of position
(subclass ReligiousPosition Position) Mid-level-ontology.kif 23118-23118 Religious position is a subclass of position
(instance Broker Position) FinancialOntology.kif 2101-2101 Broker is an instance of position
(instance Manager Position) FinancialOntology.kif 3702-3702 Manager is an instance of position
(instance President Position) Government.kif 1323-1323 President is an instance of position
(instance PrimeMinister Position) Government.kif 1324-1324 Prime minister is an instance of position
(instance VicePresident Position) Government.kif 1325-1325 Vice president is an instance of position
(instance GovernmentDeputy Position) Government.kif 1326-1326 Government deputy is an instance of position
(instance Chairman Position) Government.kif 1327-1327 Chairman is an instance of position
(instance ViceChairman Position) Government.kif 1328-1328 Vice chairman is an instance of position
(instance MilitaryCommander Position) Government.kif 1329-1329 Military commander is an instance of position
(instance Monarch Position) Government.kif 1331-1331 Monarch is an instance of position
(instance King Position) Government.kif 1363-1363 King is an instance of position
(instance QueenRegnant Position) Government.kif 1377-1377 Queen regnant is an instance of position
(instance PresidentOfTheUnitedStates Position) Government.kif 1469-1469 President of the united states is an instance of position
(instance Governor Position) Government.kif 1590-1590 Governor is an instance of position
(instance LieutenantGovernor Position) Government.kif 1604-1604 Lieutenant governor is an instance of position
(instance Mayor Position) Government.kif 1608-1608 Mayor is an instance of position
(range MemberFn Position) Government.kif 1733-1733 The range of member is an instance of position
(range MemberRoleFn Position) Government.kif 1755-1755 The range of member role is an instance of position
(instance SupremeCourtJudge Position) Government.kif 2179-2179 Supreme court judge 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 occupiesPosition 2 Position) Merge.kif 17621-17621 The number 2 argument of occupies position is an instance of position
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 25023-25023 The number 2 argument of subordinate position is an instance of position
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 25024-25024 The number 3 argument of subordinate position is an instance of position
(domain appointedPosition 3 Position) Biography.kif 156-156 The number 3 argument of appointed position is an instance of position
(domain leaderPosition 2 Position) Government.kif 1407-1407 The number 2 argument of leader position is an instance of position
(domain chiefOfState 2 Position) Government.kif 1524-1524 The number 2 argument of chief of state is an instance of position
(domain chiefOfStateType 2 Position) Government.kif 1549-1549 The number 2 argument of chief of state type is an instance of position
(domain headOfGovernment 2 Position) Government.kif 1570-1570 The number 2 argument of head of government is an instance of position
(domain MemberRoleFn 2 Position) Government.kif 1754-1754 The number 2 argument of member role is an instance of position
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4438-4438 The number 3 argument of chief of diplomatic mission is an instance of position
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4450-4450 The number 3 argument of diplomatic representative in role is an instance of position
(domain diplomaticRepresentationType 2 Position) Government.kif 4515-4515 The number 2 argument of diplomatic representation type is an instance of position

antecedent
-------------------------


(=>
    (and
        (instance ?ORG AutonomousAgent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))		 Government.kif 1418-1424 If X is an instance of agent, Y is a leader of X, Z is an instance of position, and Y holds the position of Z in X, then Z is a leader position of X
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1427-1433 If X is an instance of nation, Y is a leader of X, Z is an instance of position, and Y holds the position of Z in the government of X, then Z is a leader position of X
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG AutonomousAgent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))		 Government.kif 1449-1456 If X is an instance of human, Y is an instance of position, Z is an instance of agent, Y is a leader position of Z, and X holds the position of Y in Z, then X is a leader of Z
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))		 Government.kif 1458-1465 If X is an instance of human, Y is an instance of position, Z is an instance of geopolitical area, Y is a leader position of Z, and X holds the position of Y in the government of Z, then X is a leader of Z
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1760-1766 If X is an instance of human, Y is an instance of organization, Z is an instance of position, and the member role of Y and Z is an attribute of X, then the member of Y is an attribute of X
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))		 Government.kif 1768-1774 If X is an instance of human, Y is an instance of organization, Z is an instance of position, and the member role of Y and Z is an attribute of X, then X is a member of Y
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?PERSON
            (MemberRoleFn ?ORG ?POSITION)))
    (occupiesPosition ?PERSON ?POSITION ?ORG))		 Government.kif 1777-1783 If X is an instance of human, Y is an instance of organization, Z is an instance of position, and the member role of Y and Z is an attribute of X, then X holds the position of Z in Y

consequent
-------------------------


(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE1 ?ROLE2)
        (and
            (instance ?ROLE1 Position)
            (instance ?ROLE2 Position)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1))))		 Government.kif 4565-4572 If X is a diplomatic relations of Y, then there exist Z, W such that Z is an instance of position, W is an instance of position, Y diplomatic representation type Z for X, and X diplomatic representation type W for Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners