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


KB Term:  Term intersection
English Word: 

Sigma KEE - Position
Position(position)

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


(subclass Position SocialRole) Merge.kif 17461-17461 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 17462-17464 Position is a subclass of social role

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


(subclass ManualLabor Position) Mid-level-ontology.kif 9519-9519 Manual labor is a subclass of position
(instance FullTimePosition Position) Mid-level-ontology.kif 20650-20650 Full timer is an instance of position
(instance PartTimePosition Position) Mid-level-ontology.kif 20654-20654 Part timer is an instance of position
(subclass CollegeStudentPosition Position) Mid-level-ontology.kif 20721-20721 College student position is a subclass of position
(subclass ModellingPosition Position) Mid-level-ontology.kif 20895-20895 Modelling position is a subclass of position
(subclass ReligiousPosition Position) Mid-level-ontology.kif 23184-23184 Religious position is a subclass of position
(instance Broker Position) FinancialOntology.kif 2071-2071 Broker is an instance of position
(instance Manager Position) FinancialOntology.kif 3662-3662 Manager is an instance of position
(instance President Position) Government.kif 1314-1314 President is an instance of position
(instance PrimeMinister Position) Government.kif 1315-1315 Prime minister is an instance of position
(instance VicePresident Position) Government.kif 1316-1316 Vice president is an instance of position
(instance GovernmentDeputy Position) Government.kif 1317-1317 Government deputy is an instance of position
(instance Chairman Position) Government.kif 1318-1318 Chairman is an instance of position
(instance ViceChairman Position) Government.kif 1319-1319 Vice chairman is an instance of position
(instance MilitaryCommander Position) Government.kif 1320-1320 Military commander is an instance of position
(instance Monarch Position) Government.kif 1322-1322 Monarch is an instance of position
(instance King Position) Government.kif 1354-1354 King is an instance of position
(instance QueenRegnant Position) Government.kif 1368-1368 Queen regnant is an instance of position
(instance PresidentOfTheUnitedStates Position) Government.kif 1460-1460 President of the united states is an instance of position
(instance Governor Position) Government.kif 1581-1581 Governor is an instance of position
(instance LieutenantGovernor Position) Government.kif 1595-1595 Lieutenant governor is an instance of position
(instance Mayor Position) Government.kif 1599-1599 Mayor is an instance of position
(range MemberFn Position) Government.kif 1724-1724 The range of member is an instance of position
(range MemberRoleFn Position) Government.kif 1746-1746 The range of member role is an instance of position
(instance SupremeCourtJudge Position) Government.kif 2170-2170 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 17468-17468 The number 2 argument of occupies position is an instance of position
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 25123-25123 The number 2 argument of subordinate position is an instance of position
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 25124-25124 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 1398-1398 The number 2 argument of leader position is an instance of position
(domain chiefOfState 2 Position) Government.kif 1515-1515 The number 2 argument of chief of state is an instance of position
(domain chiefOfStateType 2 Position) Government.kif 1540-1540 The number 2 argument of chief of state type is an instance of position
(domain headOfGovernment 2 Position) Government.kif 1561-1561 The number 2 argument of head of government is an instance of position
(domain MemberRoleFn 2 Position) Government.kif 1745-1745 The number 2 argument of member role is an instance of position
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4427-4427 The number 3 argument of chief of diplomatic mission is an instance of position
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4439-4439 The number 3 argument of diplomatic representative in role is an instance of position
(domain diplomaticRepresentationType 2 Position) Government.kif 4504-4504 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 1409-1415 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 1418-1424 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 1440-1447 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 1449-1456 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 1751-1757 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 1759-1765 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 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 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 4554-4561 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 is open source software produced by Articulate Software and its partners