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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Position

Sigma KEE - Position
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 est une sous-classe de r�le social

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


(instance Broker Position) FinancialOntology.kif 2054-2054 Broker est une instance de position
(instance Chairman Position) Government.kif 1356-1356 Chairman est une instance de position
(instance ChairmanJCS Position) MilitaryProcesses.kif 912-912 ChairmanJCS est une instance de position
(instance CombatantCommander Position) MilitaryPersons.kif 332-332 CombatantCommander est une instance de position
(instance DatabaseAdministrator Position) UXExperimentalTerms.kif 2769-2769 DatabaseAdministrator est une instance de position
(instance DirectorJS Position) MilitaryProcesses.kif 893-893 DirectorJS est une instance de position
(instance FullTimePosition Position) Mid-level-ontology.kif 18716-18716 FullTimePosition est une instance de position
(instance GovernmentDeputy Position) Government.kif 1355-1355 GovernmentDeputy est une instance de position
(instance Governor Position) Government.kif 1619-1619 Governor est une instance de position
(instance JointForcesAirCommander Position) MilitaryPersons.kif 356-356 JointForcesAirCommander est une instance de position
(instance JointForcesCommander Position) MilitaryPersons.kif 344-344 JointForcesCommander est une instance de position
(instance JointForcesLandCommander Position) MilitaryPersons.kif 378-378 JointForcesLandCommander est une instance de position
(instance JointForcesMaritimeCommander Position) MilitaryPersons.kif 400-400 JointForcesMaritimeCommander est une instance de position
(instance JointForcesSpecialOperationsCommander Position) MilitaryPersons.kif 432-432 JointForcesSpecialOperationsCommander est une instance de position
(instance JointTaskForceCommander Position) MilitaryPersons.kif 336-336 JointTaskForceCommander est une instance de position
(instance King Position) Government.kif 1392-1392 King est une instance de position
(instance Leader Position) Government.kif 2256-2256 Leader est une instance de position
(instance LieutenantGovernor Position) Government.kif 1633-1633 LieutenantGovernor est une instance de position
(instance Manager Position) FinancialOntology.kif 3644-3644 Manager est une instance de position
(instance Mayor Position) Government.kif 1637-1637 Mayor est une instance de position
(instance MilitaryCommander Position) Government.kif 1358-1358 MilitaryCommander est une instance de position
(instance Monarch Position) Government.kif 1360-1360 Monarch est une instance de position
(instance NationalCommitteeChairman Position) Government.kif 2258-2258 NationalCommitteeChairman est une instance de position
(instance PartTimePosition Position) Mid-level-ontology.kif 18720-18720 PartTimePosition est une instance de position
(instance PermanentRepresentative Position) Government.kif 2257-2257 PermanentRepresentative est une instance de 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 Le nombre 2 argument de MemberRoleFn est une instance de position
(domain appointedPosition 3 Position) Biography.kif 151-151 Le nombre 3 argument de appointedPosition est une instance de position
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4446-4446 Le nombre 3 argument de chiefOfDiplomaticMission est une instance de position
(domain chiefOfState 2 Position) Government.kif 1553-1553 Le nombre 2 argument de chiefOfState est une instance de position
(domain chiefOfStateType 2 Position) Government.kif 1578-1578 Le nombre 2 argument de chiefOfStateType est une instance de position
(domain diplomaticRepresentationType 2 Position) Government.kif 4523-4523 Le nombre 2 argument de diplomaticRepresentationType est une instance de position
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4458-4458 Le nombre 3 argument de diplomaticRepresentativeInRole est une instance de position
(domain headOfGovernment 2 Position) Government.kif 1599-1599 Le nombre 2 argument de headOfGovernment est une instance de position
(domain leaderPosition 2 Position) Government.kif 1436-1436 Le nombre 2 argument de leaderPosition est une instance de position
(domain occupiesPosition 2 Position) Merge.kif 17271-17271 Le nombre 2 argument de occupiesPosition est une instance de position
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 22745-22745 Le nombre 2 argument de subordinatePosition est une instance de position
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 22746-22746 Le nombre 3 argument de subordinatePosition est une instance de 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