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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Position
Position(Posizione)

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 Posizione è una sottoclasse di RuoloSociale

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


(instance Broker Position) FinancialOntology.kif 2054-2054 Broker è un' istanza di Posizione
(instance Chairman Position) Government.kif 1356-1356 Chairman è un' istanza di Posizione
(instance ChairmanJCS Position) MilitaryProcesses.kif 912-912 ChairmanJCS è un' istanza di Posizione
(instance CombatantCommander Position) MilitaryPersons.kif 332-332 CombatantCommander è un' istanza di Posizione
(instance DatabaseAdministrator Position) UXExperimentalTerms.kif 2769-2769 DatabaseAdministrator è un' istanza di Posizione
(instance DirectorJS Position) MilitaryProcesses.kif 893-893 DirectorJS è un' istanza di Posizione
(instance FullTimePosition Position) Mid-level-ontology.kif 18716-18716 FullTimePosition è un' istanza di Posizione
(instance GovernmentDeputy Position) Government.kif 1355-1355 GovernmentDeputy è un' istanza di Posizione
(instance Governor Position) Government.kif 1619-1619 Governor è un' istanza di Posizione
(instance JointForcesAirCommander Position) MilitaryPersons.kif 356-356 JointForcesAirCommander è un' istanza di Posizione
(instance JointForcesCommander Position) MilitaryPersons.kif 344-344 JointForcesCommander è un' istanza di Posizione
(instance JointForcesLandCommander Position) MilitaryPersons.kif 378-378 JointForcesLandCommander è un' istanza di Posizione
(instance JointForcesMaritimeCommander Position) MilitaryPersons.kif 400-400 JointForcesMaritimeCommander è un' istanza di Posizione
(instance JointForcesSpecialOperationsCommander Position) MilitaryPersons.kif 432-432 JointForcesSpecialOperationsCommander è un' istanza di Posizione
(instance JointTaskForceCommander Position) MilitaryPersons.kif 336-336 JointTaskForceCommander è un' istanza di Posizione
(instance King Position) Government.kif 1392-1392 King è un' istanza di Posizione
(instance Leader Position) Government.kif 2256-2256 Leader è un' istanza di Posizione
(instance LieutenantGovernor Position) Government.kif 1633-1633 LieutenantGovernor è un' istanza di Posizione
(instance Manager Position) FinancialOntology.kif 3644-3644 Manager è un' istanza di Posizione
(instance Mayor Position) Government.kif 1637-1637 Mayor è un' istanza di Posizione
(instance MilitaryCommander Position) Government.kif 1358-1358 MilitaryCommander è un' istanza di Posizione
(instance Monarch Position) Government.kif 1360-1360 Monarch è un' istanza di Posizione
(instance NationalCommitteeChairman Position) Government.kif 2258-2258 NationalCommitteeChairman è un' istanza di Posizione
(instance PartTimePosition Position) Mid-level-ontology.kif 18720-18720 PartTimePosition è un' istanza di Posizione
(instance PermanentRepresentative Position) Government.kif 2257-2257 PermanentRepresentative è un' istanza di Posizione

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 Il numero 2 argomenti di MemberRoleFn è un istanza di Posizione
(domain appointedPosition 3 Position) Biography.kif 151-151 Il numero 3 argomenti di appointedPosition è un istanza di Posizione
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4446-4446 Il numero 3 argomenti di chiefOfDiplomaticMission è un istanza di Posizione
(domain chiefOfState 2 Position) Government.kif 1553-1553 Il numero 2 argomenti di chiefOfState è un istanza di Posizione
(domain chiefOfStateType 2 Position) Government.kif 1578-1578 Il numero 2 argomenti di chiefOfStateType è un istanza di Posizione
(domain diplomaticRepresentationType 2 Position) Government.kif 4523-4523 Il numero 2 argomenti di diplomaticRepresentationType è un istanza di Posizione
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4458-4458 Il numero 3 argomenti di diplomaticRepresentativeInRole è un istanza di Posizione
(domain headOfGovernment 2 Position) Government.kif 1599-1599 Il numero 2 argomenti di headOfGovernment è un istanza di Posizione
(domain leaderPosition 2 Position) Government.kif 1436-1436 Il numero 2 argomenti di leaderPosition è un istanza di Posizione
(domain occupiesPosition 2 Position) Merge.kif 17271-17271 Il numero 2 argomenti di occupiesPosition è un istanza di Posizione
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 22745-22745 Il numero 2 argomenti di subordinatePosition è un istanza di Posizione
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 22746-22746 Il numero 3 argomenti di subordinatePosition è un istanza di Posizione

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 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