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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Position

Sigma KEE - Position
Position

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

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


(instance Broker Position) FinancialOntology.kif 1986-1986
(instance Chairman Position) Government.kif 1316-1316
(instance ChairmanJCS Position) MilitaryProcesses.kif 901-901
(instance CombatantCommander Position) MilitaryPersons.kif 332-332
(instance DatabaseAdministrator Position) UXExperimentalTerms.kif 2976-2976
(instance DirectorJS Position) MilitaryProcesses.kif 882-882
(instance FullTimePosition Position) Mid-level-ontology.kif 16299-16299
(instance GovernmentDeputy Position) Government.kif 1315-1315
(instance Governor Position) Government.kif 1579-1579
(instance JointForcesAirCommander Position) MilitaryPersons.kif 356-356
(instance JointForcesCommander Position) MilitaryPersons.kif 344-344
(instance JointForcesLandCommander Position) MilitaryPersons.kif 378-378
(instance JointForcesMaritimeCommander Position) MilitaryPersons.kif 400-400
(instance JointForcesSpecialOperationsCommander Position) MilitaryPersons.kif 432-432
(instance JointTaskForceCommander Position) MilitaryPersons.kif 336-336
(instance King Position) Government.kif 1352-1352
(instance Leader Position) Government.kif 2216-2216
(instance LieutenantGovernor Position) Government.kif 1593-1593
(instance Manager Position) FinancialOntology.kif 3536-3536
(instance Mayor Position) Government.kif 1597-1597
(instance MilitaryCommander Position) Government.kif 1318-1318
(instance Monarch Position) Government.kif 1320-1320
(instance NationalCommitteeChairman Position) Government.kif 2218-2218
(instance PartTimePosition Position) Mid-level-ontology.kif 16303-16303
(instance PermanentRepresentative Position) Government.kif 2217-2217

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
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4383-4383
(domain chiefOfState 2 Position) Government.kif 1513-1513
(domain chiefOfStateType 2 Position) Government.kif 1538-1538
(domain diplomaticRepresentationType 2 Position) Government.kif 4460-4460
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4395-4395
(domain headOfGovernment 2 Position) Government.kif 1559-1559
(domain leaderPosition 2 Position) Government.kif 1396-1396
(domain occupiesPosition 2 Position) Merge.kif 17621-17621
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 20619-20619
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 20620-20620

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