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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 17440-17442
(subclass Position SocialRole) Merge.kif 17439-17439

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


(instance Broker Position) FinancialOntology.kif 2071-2071
(instance Chairman Position) Government.kif 1318-1318
(instance ChairmanJCS Position) MilitaryProcesses.kif 912-912
(instance CombatantCommander Position) MilitaryPersons.kif 332-332
(instance DatabaseAdministrator Position) UXExperimentalTerms.kif 2769-2769
(instance DirectorJS Position) MilitaryProcesses.kif 893-893
(instance FullTimePosition Position) Mid-level-ontology.kif 20287-20287
(instance GovernmentDeputy Position) Government.kif 1317-1317
(instance Governor Position) Government.kif 1581-1581
(instance JointForcesAirCommander Position) MilitaryPersons.kif 367-367
(instance JointForcesCommander Position) MilitaryPersons.kif 355-355
(instance JointForcesLandCommander Position) MilitaryPersons.kif 389-389
(instance JointForcesMaritimeCommander Position) MilitaryPersons.kif 411-411
(instance JointForcesSpecialOperationsCommander Position) MilitaryPersons.kif 443-443
(instance JointTaskForceCommander Position) MilitaryPersons.kif 347-347
(instance King Position) Government.kif 1354-1354
(instance Leader Position) Government.kif 2217-2217
(instance LieutenantGovernor Position) Government.kif 1595-1595
(instance Manager Position) FinancialOntology.kif 3662-3662
(instance Mayor Position) Government.kif 1599-1599
(instance MilitaryCommander Position) Government.kif 1320-1320
(instance Monarch Position) Government.kif 1322-1322
(instance NationalCommitteeChairman Position) Government.kif 2219-2219
(instance PartTimePosition Position) Mid-level-ontology.kif 20291-20291
(instance PermanentRepresentative Position) Government.kif 2218-2218

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
(domain appointedPosition 3 Position) Biography.kif 156-156
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4407-4407
(domain chiefOfState 2 Position) Government.kif 1515-1515
(domain chiefOfStateType 2 Position) Government.kif 1540-1540
(domain diplomaticRepresentationType 2 Position) Government.kif 4484-4484
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4419-4419
(domain headOfGovernment 2 Position) Government.kif 1561-1561
(domain leaderPosition 2 Position) Government.kif 1398-1398
(domain occupiesPosition 2 Position) Merge.kif 17446-17446
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 24386-24386
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 24387-24387

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