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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Position

 Sigma KEE - Position
Position(Posicao)

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 17336-17338
(subclass Position SocialRole) Merge.kif 17335-17335 Posicao e' uma sub-classe de Role Social

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


(instance Broker Position) FinancialOntology.kif 2054-2054 Broker e' uma instancia de Posicao
(instance Chairman Position) Government.kif 1320-1320 Chairman e' uma instancia de Posicao
(instance ChairmanJCS Position) MilitaryProcesses.kif 912-912 ChairmanJCS e' uma instancia de Posicao
(instance CombatantCommander Position) MilitaryPersons.kif 332-332 CombatantCommander e' uma instancia de Posicao
(instance DatabaseAdministrator Position) UXExperimentalTerms.kif 2769-2769 DatabaseAdministrator e' uma instancia de Posicao
(instance DirectorJS Position) MilitaryProcesses.kif 893-893 DirectorJS e' uma instancia de Posicao
(instance FullTimePosition Position) Mid-level-ontology.kif 18743-18743 FullTimePosition e' uma instancia de Posicao
(instance GovernmentDeputy Position) Government.kif 1319-1319 GovernmentDeputy e' uma instancia de Posicao
(instance Governor Position) Government.kif 1583-1583 Governor e' uma instancia de Posicao
(instance JointForcesAirCommander Position) MilitaryPersons.kif 356-356 JointForcesAirCommander e' uma instancia de Posicao
(instance JointForcesCommander Position) MilitaryPersons.kif 344-344 JointForcesCommander e' uma instancia de Posicao
(instance JointForcesLandCommander Position) MilitaryPersons.kif 378-378 JointForcesLandCommander e' uma instancia de Posicao
(instance JointForcesMaritimeCommander Position) MilitaryPersons.kif 400-400 JointForcesMaritimeCommander e' uma instancia de Posicao
(instance JointForcesSpecialOperationsCommander Position) MilitaryPersons.kif 432-432 JointForcesSpecialOperationsCommander e' uma instancia de Posicao
(instance JointTaskForceCommander Position) MilitaryPersons.kif 336-336 JointTaskForceCommander e' uma instancia de Posicao
(instance King Position) Government.kif 1356-1356 King e' uma instancia de Posicao
(instance Leader Position) Government.kif 2220-2220 Leader e' uma instancia de Posicao
(instance LieutenantGovernor Position) Government.kif 1597-1597 LieutenantGovernor e' uma instancia de Posicao
(instance Manager Position) FinancialOntology.kif 3644-3644 Manager e' uma instancia de Posicao
(instance Mayor Position) Government.kif 1601-1601 Mayor e' uma instancia de Posicao
(instance MilitaryCommander Position) Government.kif 1322-1322 MilitaryCommander e' uma instancia de Posicao
(instance Monarch Position) Government.kif 1324-1324 Monarch e' uma instancia de Posicao
(instance NationalCommitteeChairman Position) Government.kif 2222-2222 NationalCommitteeChairman e' uma instancia de Posicao
(instance PartTimePosition Position) Mid-level-ontology.kif 18747-18747 PartTimePosition e' uma instancia de Posicao
(instance PermanentRepresentative Position) Government.kif 2221-2221 PermanentRepresentative e' uma instancia de Posicao

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 1747-1747 O argumento numero 2 de MemberRoleFn e' uma instancia de Posicao
(domain appointedPosition 3 Position) Biography.kif 151-151 O argumento numero 3 de appointedPosition e' uma instancia de Posicao
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4410-4410 O argumento numero 3 de chiefOfDiplomaticMission e' uma instancia de Posicao
(domain chiefOfState 2 Position) Government.kif 1517-1517 O argumento numero 2 de chiefOfState e' uma instancia de Posicao
(domain chiefOfStateType 2 Position) Government.kif 1542-1542 O argumento numero 2 de chiefOfStateType e' uma instancia de Posicao
(domain diplomaticRepresentationType 2 Position) Government.kif 4487-4487 O argumento numero 2 de diplomaticRepresentationType e' uma instancia de Posicao
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4422-4422 O argumento numero 3 de diplomaticRepresentativeInRole e' uma instancia de Posicao
(domain headOfGovernment 2 Position) Government.kif 1563-1563 O argumento numero 2 de headOfGovernment e' uma instancia de Posicao
(domain leaderPosition 2 Position) Government.kif 1400-1400 O argumento numero 2 de leaderPosition e' uma instancia de Posicao
(domain occupiesPosition 2 Position) Merge.kif 17342-17342 O argumento numero 2 de occupiesPosition e' uma instancia de Posicao
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 22797-22797 O argumento numero 2 de subordinatePosition e' uma instancia de Posicao
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 22798-22798 O argumento numero 3 de subordinatePosition e' uma instancia de Posicao

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


(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1753-1759
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))		 Government.kif 1761-1767
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1420-1426
(=>
    (and
        (instance ?ORG AutonomousAgent)
        (leader ?ORG ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leaderPosition ?ORG ?ROLE))		 Government.kif 1411-1417
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?PERSON
            (MemberRoleFn ?ORG ?POSITION)))
    (occupiesPosition ?PERSON ?POSITION ?ORG))		 Government.kif 1770-1776
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))		 Government.kif 1451-1458
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?ORG AutonomousAgent)
        (leaderPosition ?ORG ?ROLE)
        (occupiesPosition ?PERSON ?ROLE ?ORG))
    (leader ?ORG ?PERSON))		 Government.kif 1442-1449

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


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


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