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 地位 是 身分 的 subclass

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


(instance Broker Position) FinancialOntology.kif 2054-2054 经纪人 是 地位 的 instance
(instance Chairman Position) Government.kif 1356-1356 主席 是 地位 的 instance
(instance ChairmanJCS Position) MilitaryProcesses.kif 912-912 主席JCs 是 地位 的 instance
(instance CombatantCommander Position) MilitaryPersons.kif 332-332 战斗指挥官 是 地位 的 instance
(instance DatabaseAdministrator Position) UXExperimentalTerms.kif 2769-2769 DatabaseAdministrator 是 地位 的 instance
(instance DirectorJS Position) MilitaryProcesses.kif 893-893 导演.JS 是 地位 的 instance
(instance FullTimePosition Position) Mid-level-ontology.kif 18716-18716 全职职位 是 地位 的 instance
(instance GovernmentDeputy Position) Government.kif 1355-1355 政府副手 是 地位 的 instance
(instance Governor Position) Government.kif 1619-1619 州长 是 地位 的 instance
(instance JointForcesAirCommander Position) MilitaryPersons.kif 356-356 联合部队空军司令 是 地位 的 instance
(instance JointForcesCommander Position) MilitaryPersons.kif 344-344 联合部队指挥官 是 地位 的 instance
(instance JointForcesLandCommander Position) MilitaryPersons.kif 378-378 联合部队陆军指挥官 是 地位 的 instance
(instance JointForcesMaritimeCommander Position) MilitaryPersons.kif 400-400 联合部队海上指挥官 是 地位 的 instance
(instance JointForcesSpecialOperationsCommander Position) MilitaryPersons.kif 432-432 联合部队特种作战指挥官 是 地位 的 instance
(instance JointTaskForceCommander Position) MilitaryPersons.kif 336-336 联合特遣部队指挥官 是 地位 的 instance
(instance King Position) Government.kif 1392-1392 王 是 地位 的 instance
(instance Leader Position) Government.kif 2256-2256 领导 是 地位 的 instance
(instance LieutenantGovernor Position) Government.kif 1633-1633 副州长 是 地位 的 instance
(instance Manager Position) FinancialOntology.kif 3644-3644 经理 是 地位 的 instance
(instance Mayor Position) Government.kif 1637-1637 市长 是 地位 的 instance
(instance MilitaryCommander Position) Government.kif 1358-1358 军事指挥官 是 地位 的 instance
(instance Monarch Position) Government.kif 1360-1360 君主 是 地位 的 instance
(instance NationalCommitteeChairman Position) Government.kif 2258-2258 全国委员会主席 是 地位 的 instance
(instance PartTimePosition Position) Mid-level-ontology.kif 18720-18720 兼职职位 是 地位 的 instance
(instance PermanentRepresentative Position) Government.kif 2257-2257 常驻代表 是 地位 的 instance

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 数量 是 地位 的 instance
(domain appointedPosition 3 Position) Biography.kif 151-151 appointedPosition 的 3 数量 是 地位 的 instance
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4446-4446 外交使团团长 的 3 数量 是 地位 的 instance
(domain chiefOfState 2 Position) Government.kif 1553-1553 国家元首 的 2 数量 是 地位 的 instance
(domain chiefOfStateType 2 Position) Government.kif 1578-1578 国家主席 的 2 数量 是 地位 的 instance
(domain diplomaticRepresentationType 2 Position) Government.kif 4523-4523 外交代表类型 的 2 数量 是 地位 的 instance
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4458-4458 外交代表担任职务 的 3 数量 是 地位 的 instance
(domain headOfGovernment 2 Position) Government.kif 1599-1599 政府首脑 的 2 数量 是 地位 的 instance
(domain leaderPosition 2 Position) Government.kif 1436-1436 领导职位 的 2 数量 是 地位 的 instance
(domain occupiesPosition 2 Position) Merge.kif 17271-17271 任职 的 2 数量 是 地位 的 instance
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 22745-22745 从属地位 的 2 数量 是 地位 的 instance
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 22746-22746 从属地位 的 3 数量 是 地位 的 instance

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