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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 17425-17427
(subclass Position SocialRole) Merge.kif 17424-17424 Position est une sous-classe de r�le social

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


(instance Broker Position) FinancialOntology.kif 2071-2071 Broker est une instance de position
(instance Chairman Position) Government.kif 1318-1318 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 20287-20287 FullTimePosition est une instance de position
(instance GovernmentDeputy Position) Government.kif 1317-1317 GovernmentDeputy est une instance de position
(instance Governor Position) Government.kif 1581-1581 Governor est une instance de position
(instance JointForcesAirCommander Position) MilitaryPersons.kif 367-367 JointForcesAirCommander est une instance de position
(instance JointForcesCommander Position) MilitaryPersons.kif 355-355 JointForcesCommander est une instance de position
(instance JointForcesLandCommander Position) MilitaryPersons.kif 389-389 JointForcesLandCommander est une instance de position
(instance JointForcesMaritimeCommander Position) MilitaryPersons.kif 411-411 JointForcesMaritimeCommander est une instance de position
(instance JointForcesSpecialOperationsCommander Position) MilitaryPersons.kif 443-443 JointForcesSpecialOperationsCommander est une instance de position
(instance JointTaskForceCommander Position) MilitaryPersons.kif 347-347 JointTaskForceCommander est une instance de position
(instance King Position) Government.kif 1354-1354 King est une instance de position
(instance Leader Position) Government.kif 2217-2217 Leader est une instance de position
(instance LieutenantGovernor Position) Government.kif 1595-1595 LieutenantGovernor est une instance de position
(instance Manager Position) FinancialOntology.kif 3662-3662 Manager est une instance de position
(instance Mayor Position) Government.kif 1599-1599 Mayor est une instance de position
(instance MilitaryCommander Position) Government.kif 1320-1320 MilitaryCommander est une instance de position
(instance Monarch Position) Government.kif 1322-1322 Monarch est une instance de position
(instance NationalCommitteeChairman Position) Government.kif 2219-2219 NationalCommitteeChairman est une instance de position
(instance PartTimePosition Position) Mid-level-ontology.kif 20291-20291 PartTimePosition est une instance de position
(instance PermanentRepresentative Position) Government.kif 2218-2218 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 1745-1745 Le nombre 2 argument de MemberRoleFn est une instance de position
(domain appointedPosition 3 Position) Biography.kif 156-156 Le nombre 3 argument de appointedPosition est une instance de position
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4407-4407 Le nombre 3 argument de chiefOfDiplomaticMission est une instance de position
(domain chiefOfState 2 Position) Government.kif 1515-1515 Le nombre 2 argument de chiefOfState est une instance de position
(domain chiefOfStateType 2 Position) Government.kif 1540-1540 Le nombre 2 argument de chiefOfStateType est une instance de position
(domain diplomaticRepresentationType 2 Position) Government.kif 4484-4484 Le nombre 2 argument de diplomaticRepresentationType est une instance de position
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4419-4419 Le nombre 3 argument de diplomaticRepresentativeInRole est une instance de position
(domain headOfGovernment 2 Position) Government.kif 1561-1561 Le nombre 2 argument de headOfGovernment est une instance de position
(domain leaderPosition 2 Position) Government.kif 1398-1398 Le nombre 2 argument de leaderPosition est une instance de position
(domain occupiesPosition 2 Position) Merge.kif 17431-17431 Le nombre 2 argument de occupiesPosition est une instance de position
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 24388-24388 Le nombre 2 argument de subordinatePosition est une instance de position
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 24389-24389 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 1751-1757
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))
Government.kif 1759-1765
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))
Government.kif 1418-1424
(=>
    (and
        (instance ?ORG AutonomousAgent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))
Government.kif 1409-1415
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?PERSON
            (MemberRoleFn ?ORG ?POSITION)))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 1768-1774
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))
Government.kif 1449-1456
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG AutonomousAgent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))
Government.kif 1440-1447

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


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


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