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 では %n

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


(instance Broker Position) FinancialOntology.kif 2054-2054 Brokerポジションinstance では %n
(instance Chairman Position) Government.kif 1356-1356 Chairmanポジションinstance では %n
(instance ChairmanJCS Position) MilitaryProcesses.kif 912-912 ChairmanJCSポジションinstance では %n
(instance CombatantCommander Position) MilitaryPersons.kif 332-332 CombatantCommanderポジションinstance では %n
(instance DatabaseAdministrator Position) UXExperimentalTerms.kif 2769-2769 DatabaseAdministratorポジションinstance では %n
(instance DirectorJS Position) MilitaryProcesses.kif 893-893 DirectorJSポジションinstance では %n
(instance FullTimePosition Position) Mid-level-ontology.kif 18716-18716 FullTimePositionポジションinstance では %n
(instance GovernmentDeputy Position) Government.kif 1355-1355 GovernmentDeputyポジションinstance では %n
(instance Governor Position) Government.kif 1619-1619 Governorポジションinstance では %n
(instance JointForcesAirCommander Position) MilitaryPersons.kif 356-356 JointForcesAirCommanderポジションinstance では %n
(instance JointForcesCommander Position) MilitaryPersons.kif 344-344 JointForcesCommanderポジションinstance では %n
(instance JointForcesLandCommander Position) MilitaryPersons.kif 378-378 JointForcesLandCommanderポジションinstance では %n
(instance JointForcesMaritimeCommander Position) MilitaryPersons.kif 400-400 JointForcesMaritimeCommanderポジションinstance では %n
(instance JointForcesSpecialOperationsCommander Position) MilitaryPersons.kif 432-432 JointForcesSpecialOperationsCommanderポジションinstance では %n
(instance JointTaskForceCommander Position) MilitaryPersons.kif 336-336 JointTaskForceCommanderポジションinstance では %n
(instance King Position) Government.kif 1392-1392 Kingポジションinstance では %n
(instance Leader Position) Government.kif 2256-2256 Leaderポジションinstance では %n
(instance LieutenantGovernor Position) Government.kif 1633-1633 LieutenantGovernorポジションinstance では %n
(instance Manager Position) FinancialOntology.kif 3644-3644 Managerポジションinstance では %n
(instance Mayor Position) Government.kif 1637-1637 Mayorポジションinstance では %n
(instance MilitaryCommander Position) Government.kif 1358-1358 MilitaryCommanderポジションinstance では %n
(instance Monarch Position) Government.kif 1360-1360 Monarchポジションinstance では %n
(instance NationalCommitteeChairman Position) Government.kif 2258-2258 NationalCommitteeChairmanポジションinstance では %n
(instance PartTimePosition Position) Mid-level-ontology.kif 18720-18720 PartTimePositionポジションinstance では %n
(instance PermanentRepresentative Position) Government.kif 2257-2257 PermanentRepresentativeポジションinstance では %n

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 MemberRoleFn の数値 2 引数は ポジションinstance では %n
(domain appointedPosition 3 Position) Biography.kif 151-151 appointedPosition の数値 3 引数は ポジションinstance では %n
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4446-4446 chiefOfDiplomaticMission の数値 3 引数は ポジションinstance では %n
(domain chiefOfState 2 Position) Government.kif 1553-1553 chiefOfState の数値 2 引数は ポジションinstance では %n
(domain chiefOfStateType 2 Position) Government.kif 1578-1578 chiefOfStateType の数値 2 引数は ポジションinstance では %n
(domain diplomaticRepresentationType 2 Position) Government.kif 4523-4523 diplomaticRepresentationType の数値 2 引数は ポジションinstance では %n
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4458-4458 diplomaticRepresentativeInRole の数値 3 引数は ポジションinstance では %n
(domain headOfGovernment 2 Position) Government.kif 1599-1599 headOfGovernment の数値 2 引数は ポジションinstance では %n
(domain leaderPosition 2 Position) Government.kif 1436-1436 leaderPosition の数値 2 引数は ポジションinstance では %n
(domain occupiesPosition 2 Position) Merge.kif 17271-17271 occupiesPosition の数値 2 引数は ポジションinstance では %n
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 22745-22745 subordinatePosition の数値 2 引数は ポジションinstance では %n
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 22746-22746 subordinatePosition の数値 3 引数は ポジションinstance では %n

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