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 的例子包括：总裁、实验室主管、高级研究员和销售代表等等。") 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 子類 Position and SocialRole

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


(instance Broker Position) FinancialOntology.kif 2054-2054 例 經紀人 and Position
(instance Chairman Position) Government.kif 1356-1356 例 主席 and Position
(instance ChairmanJCS Position) MilitaryProcesses.kif 912-912 例 主席JCs and Position
(instance CombatantCommander Position) MilitaryPersons.kif 332-332 例 戰鬥指揮官 and Position
(instance DatabaseAdministrator Position) UXExperimentalTerms.kif 2769-2769 例 DatabaseAdministrator and Position
(instance DirectorJS Position) MilitaryProcesses.kif 893-893 例 導演.JS and Position
(instance FullTimePosition Position) Mid-level-ontology.kif 18716-18716 例 全職職位 and Position
(instance GovernmentDeputy Position) Government.kif 1355-1355 例 政府副手 and Position
(instance Governor Position) Government.kif 1619-1619 例 州長 and Position
(instance JointForcesAirCommander Position) MilitaryPersons.kif 356-356 例 聯合部隊空軍司令 and Position
(instance JointForcesCommander Position) MilitaryPersons.kif 344-344 例 聯合部隊指揮官 and Position
(instance JointForcesLandCommander Position) MilitaryPersons.kif 378-378 例 聯合部隊陸軍指揮官 and Position
(instance JointForcesMaritimeCommander Position) MilitaryPersons.kif 400-400 例 聯合部隊海上指揮官 and Position
(instance JointForcesSpecialOperationsCommander Position) MilitaryPersons.kif 432-432 例 聯合部隊特種作戰指揮官 and Position
(instance JointTaskForceCommander Position) MilitaryPersons.kif 336-336 例 聯合特遣部隊指揮官 and Position
(instance King Position) Government.kif 1392-1392 例 王 and Position
(instance Leader Position) Government.kif 2256-2256 例 領導 and Position
(instance LieutenantGovernor Position) Government.kif 1633-1633 例 副州長 and Position
(instance Manager Position) FinancialOntology.kif 3644-3644 例 經理 and Position
(instance Mayor Position) Government.kif 1637-1637 例 市長 and Position
(instance MilitaryCommander Position) Government.kif 1358-1358 例 軍事指揮官 and Position
(instance Monarch Position) Government.kif 1360-1360 例 君主 and Position
(instance NationalCommitteeChairman Position) Government.kif 2258-2258 例 全國委員會主席 and Position
(instance PartTimePosition Position) Mid-level-ontology.kif 18720-18720 例 兼職職位 and Position
(instance PermanentRepresentative Position) Government.kif 2257-2257 例 常駐代表 and 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 1783-1783 域 成員角色, 2 and Position
(domain appointedPosition 3 Position) Biography.kif 151-151 域 appointedPosition, 3 and Position
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4446-4446 域 外交使團團長, 3 and Position
(domain chiefOfState 2 Position) Government.kif 1553-1553 域 國家元首, 2 and Position
(domain chiefOfStateType 2 Position) Government.kif 1578-1578 域 國家主席, 2 and Position
(domain diplomaticRepresentationType 2 Position) Government.kif 4523-4523 域 外交代表類型, 2 and Position
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4458-4458 域 外交代表擔任職務, 3 and Position
(domain headOfGovernment 2 Position) Government.kif 1599-1599 域 政府首腦, 2 and Position
(domain leaderPosition 2 Position) Government.kif 1436-1436 域 領導職位, 2 and Position
(domain occupiesPosition 2 Position) Merge.kif 17271-17271 域 佔據位置, 2 and Position
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 22745-22745 域 從屬地位, 2 and Position
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 22746-22746 域 從屬地位, 3 and Position

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 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 3.0 is open source software produced by Articulate Software and its partners