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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Position

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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