Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation Position ChineseLanguage "这是 Organization 里一个负责的正式职位,Position 的例子包括:总裁、实验室主管、高级研究员和销售代表等等。") Merge.kif 17616-17617
(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 17613-17615
(subclass Position SocialRole) Merge.kif 17612-17612 Position is a subclass of social role

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


(instance Broker Position) FinancialOntology.kif 1986-1986 Broker is an instance of position
(instance Chairman Position) Government.kif 1316-1316 Chairman is an instance of position
(instance ChairmanJCS Position) MilitaryProcesses.kif 901-901 ChairmanJC s is an instance of position
(instance CombatantCommander Position) MilitaryPersons.kif 332-332 Combatant commander is an instance of position
(instance DatabaseAdministrator Position) UXExperimentalTerms.kif 2976-2976 Database administrator is an instance of position
(instance DirectorJS Position) MilitaryProcesses.kif 882-882 DirectorJ s is an instance of position
(instance FullTimePosition Position) Mid-level-ontology.kif 16299-16299 Full time position is an instance of position
(instance GovernmentDeputy Position) Government.kif 1315-1315 Government deputy is an instance of position
(instance Governor Position) Government.kif 1579-1579 Governor is an instance of position
(instance JointForcesAirCommander Position) MilitaryPersons.kif 356-356 Joint forces air commander is an instance of position
(instance JointForcesCommander Position) MilitaryPersons.kif 344-344 Joint forces commander is an instance of position
(instance JointForcesLandCommander Position) MilitaryPersons.kif 378-378 Joint forces land commander is an instance of position
(instance JointForcesMaritimeCommander Position) MilitaryPersons.kif 400-400 Joint forces maritime commander is an instance of position
(instance JointForcesSpecialOperationsCommander Position) MilitaryPersons.kif 432-432 Joint forces special operations commander is an instance of position
(instance JointTaskForceCommander Position) MilitaryPersons.kif 336-336 Joint task force commander is an instance of position
(instance King Position) Government.kif 1352-1352 King is an instance of position
(instance Leader Position) Government.kif 2216-2216 Leader is an instance of position
(instance LieutenantGovernor Position) Government.kif 1593-1593 Lieutenant governor is an instance of position
(instance Manager Position) FinancialOntology.kif 3536-3536 Manager is an instance of position
(instance Mayor Position) Government.kif 1597-1597 Mayor is an instance of position
(instance MilitaryCommander Position) Government.kif 1318-1318 Military commander is an instance of position
(instance Monarch Position) Government.kif 1320-1320 Monarch is an instance of position
(instance NationalCommitteeChairman Position) Government.kif 2218-2218 National committee chairman is an instance of position
(instance PartTimePosition Position) Mid-level-ontology.kif 16303-16303 Part time position is an instance of position
(instance PermanentRepresentative Position) Government.kif 2217-2217 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
-------------------------


(domain MemberRoleFn 2 Position) Government.kif 1743-1743 The number 2 argument of member role is an instance of position
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4383-4383 The number 3 argument of chief of diplomatic mission is an instance of position
(domain chiefOfState 2 Position) Government.kif 1513-1513 The number 2 argument of chief of state is an instance of position
(domain chiefOfStateType 2 Position) Government.kif 1538-1538 The number 2 argument of chief of state type is an instance of position
(domain diplomaticRepresentationType 2 Position) Government.kif 4460-4460 The number 2 argument of diplomatic representation type is an instance of position
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4395-4395 The number 3 argument of diplomatic representative in role is an instance of position
(domain headOfGovernment 2 Position) Government.kif 1559-1559 The number 2 argument of head of government is an instance of position
(domain leaderPosition 2 Position) Government.kif 1396-1396 The number 2 argument of leader position is an instance of position
(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 20619-20619 The number 2 argument of subordinate position is an instance of position
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 20620-20620 The number 3 argument of subordinate position 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 1749-1755
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))
Government.kif 1757-1763
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))
Government.kif 1416-1422
(=>
    (and
        (instance ?ORG Agent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))
Government.kif 1407-1413
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?PERSON
            (MemberRoleFn ?ORG ?POSITION)))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 1766-1772
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))
Government.kif 1447-1454
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG Agent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))
Government.kif 1438-1445

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


(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE1 ?ROLE2)
        (and
            (instance ?ROLE1 Position)
            (instance ?ROLE2 Position)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1))))
Government.kif 4510-4517


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners