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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Position
Position

VerbNet: captain-29.8|captain, captain-29.8|clerk, inquire-37.1.2|consult, inquire-37.1.2|consult, captain-29.8|cox, captain-29.8|model, captain-29.8|model, captain-29.8|model, captain-29.8|prostitute, captain-29.8|skipper, captain-29.8|valet, cooperate-73|work,


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 15936-15938
(subclass Position SocialRole) Merge.kif 15935-15935 subclass Position and SocialRole

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


(instance Broker Position) FinancialOntology.kif 1984-1984 instance Broker and Position
(instance Chairman Position) Government.kif 1310-1310 instance Chairman and Position
(instance ChairmanJCS Position) MilitaryProcesses.kif 912-912 instance ChairmanJCS and Position
(instance CombatantCommander Position) MilitaryPersons.kif 332-332 instance CombatantCommander and Position
(instance DatabaseAdministrator Position) UXExperimentalTerms.kif 2974-2974 instance DatabaseAdministrator and Position
(instance DirectorJS Position) MilitaryProcesses.kif 893-893 instance DirectorJS and Position
(instance FullTimePosition Position) Mid-level-ontology.kif 16387-16387 instance FullTimePosition and Position
(instance GovernmentDeputy Position) Government.kif 1309-1309 instance GovernmentDeputy and Position
(instance Governor Position) Government.kif 1573-1573 instance Governor and Position
(instance JointForcesAirCommander Position) MilitaryPersons.kif 356-356 instance JointForcesAirCommander and Position
(instance JointForcesCommander Position) MilitaryPersons.kif 344-344 instance JointForcesCommander and Position
(instance JointForcesLandCommander Position) MilitaryPersons.kif 378-378 instance JointForcesLandCommander and Position
(instance JointForcesMaritimeCommander Position) MilitaryPersons.kif 400-400 instance JointForcesMaritimeCommander and Position
(instance JointForcesSpecialOperationsCommander Position) MilitaryPersons.kif 432-432 instance JointForcesSpecialOperationsCommander and Position
(instance JointTaskForceCommander Position) MilitaryPersons.kif 336-336 instance JointTaskForceCommander and Position
(instance King Position) Government.kif 1346-1346 instance King and Position
(instance Leader Position) Government.kif 2210-2210 instance Leader and Position
(instance LieutenantGovernor Position) Government.kif 1587-1587 instance LieutenantGovernor and Position
(instance Manager Position) FinancialOntology.kif 3542-3542 instance Manager and Position
(instance Mayor Position) Government.kif 1591-1591 instance Mayor and Position
(instance MilitaryCommander Position) Government.kif 1312-1312 instance MilitaryCommander and Position
(instance Monarch Position) Government.kif 1314-1314 instance Monarch and Position
(instance NationalCommitteeChairman Position) Government.kif 2212-2212 instance NationalCommitteeChairman and Position
(instance PartTimePosition Position) Mid-level-ontology.kif 16391-16391 instance PartTimePosition and Position
(instance PermanentRepresentative Position) Government.kif 2211-2211 instance PermanentRepresentative 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 1737-1737 domain MemberRoleFn, 2 and Position
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4377-4377 domain chiefOfDiplomaticMission, 3 and Position
(domain chiefOfState 2 Position) Government.kif 1507-1507 domain chiefOfState, 2 and Position
(domain chiefOfStateType 2 Position) Government.kif 1532-1532 domain chiefOfStateType, 2 and Position
(domain diplomaticRepresentationType 2 Position) Government.kif 4454-4454 domain diplomaticRepresentationType, 2 and Position
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4389-4389 domain diplomaticRepresentativeInRole, 3 and Position
(domain headOfGovernment 2 Position) Government.kif 1553-1553 domain headOfGovernment, 2 and Position
(domain leaderPosition 2 Position) Government.kif 1390-1390 domain leaderPosition, 2 and Position
(domain occupiesPosition 2 Position) Merge.kif 15942-15942 domain occupiesPosition, 2 and Position
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 20620-20620 domain subordinatePosition, 2 and Position
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 20621-20621 domain subordinatePosition, 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 1743-1749
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))
Government.kif 1751-1757
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))
Government.kif 1410-1416
(=>
    (and
        (instance ?ORG Agent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))
Government.kif 1401-1407
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?PERSON
            (MemberRoleFn ?ORG ?POSITION)))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 1760-1766
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))
Government.kif 1441-1448
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG Agent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))
Government.kif 1432-1439

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners