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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Position
Position

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 17265-17267
(subclass Position SocialRole) Merge.kif 17264-17264

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


(instance Broker Position) FinancialOntology.kif 2054-2054
(instance Chairman Position) Government.kif 1356-1356
(instance ChairmanJCS Position) MilitaryProcesses.kif 912-912
(instance CombatantCommander Position) MilitaryPersons.kif 332-332
(instance DatabaseAdministrator Position) UXExperimentalTerms.kif 2769-2769
(instance DirectorJS Position) MilitaryProcesses.kif 893-893
(instance FullTimePosition Position) Mid-level-ontology.kif 18716-18716
(instance GovernmentDeputy Position) Government.kif 1355-1355
(instance Governor Position) Government.kif 1619-1619
(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 1392-1392
(instance Leader Position) Government.kif 2256-2256
(instance LieutenantGovernor Position) Government.kif 1633-1633
(instance Manager Position) FinancialOntology.kif 3644-3644
(instance Mayor Position) Government.kif 1637-1637
(instance MilitaryCommander Position) Government.kif 1358-1358
(instance Monarch Position) Government.kif 1360-1360
(instance NationalCommitteeChairman Position) Government.kif 2258-2258
(instance PartTimePosition Position) Mid-level-ontology.kif 18720-18720
(instance PermanentRepresentative Position) Government.kif 2257-2257

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 1783-1783
(domain appointedPosition 3 Position) Biography.kif 151-151
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4446-4446
(domain chiefOfState 2 Position) Government.kif 1553-1553
(domain chiefOfStateType 2 Position) Government.kif 1578-1578
(domain diplomaticRepresentationType 2 Position) Government.kif 4523-4523
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4458-4458
(domain headOfGovernment 2 Position) Government.kif 1599-1599
(domain leaderPosition 2 Position) Government.kif 1436-1436
(domain occupiesPosition 2 Position) Merge.kif 17271-17271
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 22745-22745
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 22746-22746

antecedent
-------------------------


(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1789-1795
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))
Government.kif 1797-1803
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))
Government.kif 1456-1462
(=>
    (and
        (instance ?ORG AutonomousAgent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))
Government.kif 1447-1453
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?PERSON
            (MemberRoleFn ?ORG ?POSITION)))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))
Government.kif 1487-1494
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG AutonomousAgent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))
Government.kif 1478-1485

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


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


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