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...

VerbNet: captain-29.8|captain, captain-29.8|clerk, inquire-37.1.2|consult, inquire-37.1.2|consult, captain-29.8|cox, captain-29.8|model, captain-29.8|model, captain-29.8|model, captain-29.8|prostitute, captain-29.8|skipper, captain-29.8|valet, cooperate-73|work,


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 16039-16041
(subclass Position SocialRole) Merge.kif 16038-16038 Position is a subclass of social role

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


(instance Broker Position) FinancialOntology.kif 1985-1985 Broker is an instance of position
(instance Chairman Position) Government.kif 1310-1310 Chairman is an instance of position
(instance ChairmanJCS Position) MilitaryProcesses.kif 912-912 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 2974-2974 Database administrator 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 16440-16440 Full time position is an instance of position
(instance GovernmentDeputy Position) Government.kif 1309-1309 Government deputy is an instance of position
(instance Governor Position) Government.kif 1573-1573 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 1346-1346 King is an instance of position
(instance Leader Position) Government.kif 2210-2210 Leader is an instance of position
(instance LieutenantGovernor Position) Government.kif 1587-1587 Lieutenant governor is an instance of position
(instance Manager Position) FinancialOntology.kif 3543-3543 Manager is an instance of position
(instance Mayor Position) Government.kif 1591-1591 Mayor is an instance of position
(instance MilitaryCommander Position) Government.kif 1312-1312 Military commander is an instance of position
(instance Monarch Position) Government.kif 1314-1314 Monarch is an instance of position
(instance NationalCommitteeChairman Position) Government.kif 2212-2212 National committee chairman is an instance of position
(instance PartTimePosition Position) Mid-level-ontology.kif 16444-16444 Part time position is an instance of position
(instance PermanentRepresentative Position) Government.kif 2211-2211 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 1737-1737 The number 2 argument of member role is an instance of position
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4377-4377 The number 3 argument of chief of diplomatic mission is an instance of position
(domain chiefOfState 2 Position) Government.kif 1507-1507 The number 2 argument of chief of state is an instance of position
(domain chiefOfStateType 2 Position) Government.kif 1532-1532 The number 2 argument of chief of state type is an instance of position
(domain diplomaticRepresentationType 2 Position) Government.kif 4454-4454 The number 2 argument of diplomatic representation type is an instance of position
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4389-4389 The number 3 argument of diplomatic representative in role is an instance of position
(domain headOfGovernment 2 Position) Government.kif 1553-1553 The number 2 argument of head of government is an instance of position
(domain leaderPosition 2 Position) Government.kif 1390-1390 The number 2 argument of leader position is an instance of position
(domain occupiesPosition 2 Position) Merge.kif 16045-16045 The number 2 argument of occupies position is an instance of position
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 20684-20684 The number 2 argument of subordinate position is an instance of position
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 20685-20685 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 1743-1749
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))
Government.kif 1751-1757
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))
Government.kif 1410-1416
(=>
    (and
        (instance ?ORG Agent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))
Government.kif 1401-1407
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?PERSON
            (MemberRoleFn ?ORG ?POSITION)))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 1760-1766
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))
Government.kif 1441-1448
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG Agent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))
Government.kif 1432-1439

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


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


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