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 的例子包括:总裁、实验室主管、高级研究员和销售代表等等。") Merge.kif 17564-17565
(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 17561-17563
(subclass Position SocialRole) Merge.kif 17560-17560

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


(instance Broker Position) FinancialOntology.kif 1986-1986
(instance Chairman Position) Government.kif 1316-1316
(instance ChairmanJCS Position) MilitaryProcesses.kif 901-901
(instance CombatantCommander Position) MilitaryPersons.kif 332-332
(instance DatabaseAdministrator Position) UXExperimentalTerms.kif 2976-2976
(instance DirectorJS Position) MilitaryProcesses.kif 882-882
(instance FullTimePosition Position) Mid-level-ontology.kif 16269-16269
(instance GovernmentDeputy Position) Government.kif 1315-1315
(instance Governor Position) Government.kif 1579-1579
(instance JointForcesAirCommander Position) MilitaryPersons.kif 356-356
(instance JointForcesCommander Position) MilitaryPersons.kif 344-344
(instance JointForcesLandCommander Position) MilitaryPersons.kif 378-378
(instance JointForcesMaritimeCommander Position) MilitaryPersons.kif 400-400
(instance JointForcesSpecialOperationsCommander Position) MilitaryPersons.kif 432-432
(instance JointTaskForceCommander Position) MilitaryPersons.kif 336-336
(instance King Position) Government.kif 1352-1352
(instance Leader Position) Government.kif 2216-2216
(instance LieutenantGovernor Position) Government.kif 1593-1593
(instance Manager Position) FinancialOntology.kif 3536-3536
(instance Mayor Position) Government.kif 1597-1597
(instance MilitaryCommander Position) Government.kif 1318-1318
(instance Monarch Position) Government.kif 1320-1320
(instance NationalCommitteeChairman Position) Government.kif 2218-2218
(instance PartTimePosition Position) Mid-level-ontology.kif 16273-16273
(instance PermanentRepresentative Position) Government.kif 2217-2217

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 1743-1743
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4383-4383
(domain chiefOfState 2 Position) Government.kif 1513-1513
(domain chiefOfStateType 2 Position) Government.kif 1538-1538
(domain diplomaticRepresentationType 2 Position) Government.kif 4460-4460
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4395-4395
(domain headOfGovernment 2 Position) Government.kif 1559-1559
(domain leaderPosition 2 Position) Government.kif 1396-1396
(domain occupiesPosition 2 Position) Merge.kif 17569-17569
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 20588-20588
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 20589-20589

antecedent
-------------------------


(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1749-1755
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))
Government.kif 1757-1763
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))
Government.kif 1416-1422
(=>
    (and
        (instance ?ORG Agent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))
Government.kif 1407-1413
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?PERSON
            (MemberRoleFn ?ORG ?POSITION)))
    (occupiesPosition ?PERSON ?POSITION ?ORG))
Government.kif 1766-1772
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))
Government.kif 1447-1454
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG Agent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))
Government.kif 1438-1445

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


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


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