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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Position
Position(position)Agriculture_Secretary, Andre_Eglevsky, Arabist, Attorney_General, Barbary_pirate, Bertram_Brockhouse, Brahe, Brockhouse, CEO, CFO, CPA, Chancellor, Chancellor_of_the_Exchequer, Cheops, Chief_Secretary, Commerce_Secretary, Comptroller_General, Comptroller_of_the_Currency, Congreve, Counsel_to_the_Crown, Cronyn, DA, DCI, DJ, Director_of_Central_Intelligence, ENT_man, Education_Secretary, Eglevsky, Ellsworth, Energy_Secretary, English_professor, English_teacher, FBI_agent, Father, Federico_Fellini, Fellini, First_Lord_of_the_Treasury, Frank_Whittle, Frederic_Goudy, Frederic_William_Goudy, French_teacher, G-man, GP, Gerard_Kuiper, Gerard_Peter_Kuiper, Gongorist, Goudy, Hebraist, Henri_Pitot, Holy_Roman_Emperor...

appearance as argument number 1
-------------------------


s__documentation(s__Position,s__ChineseLanguage,'"这是 Organization 里一个负责的正式职位,Position 的例子包括:总裁、实验室主管、高级研究员和销售代表等等。"')

chinese_format.kif 3850-3851
s__documentation(s__Position,s__EnglishLanguage,'"A formal position of responsibility within an Organization. Examples of Positions include president, laboratory director, senior researcher, sales representative, etc."')

Merge.kif 16456-16458
s__subclass(s__Position,s__SocialRole)

s__instance(s__SocialRole,s__SetOrClass)

s__instance(s__Position,s__SetOrClass)

Merge.kif 16455-16455 Position is a subclass of social role

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


s__instance(s__Broker,s__Position)

s__instance(s__Position,s__SetOrClass)

FinancialOntology.kif 2004-2004 Broker is an instance of position
s__instance(s__Position,s__SetOrClass)

s__instance(s__Chairman,s__Position)

Government.kif 1342-1342 Chairman is an instance of position
s__instance(s__ChairmanJCS,s__Position)

s__instance(s__Position,s__SetOrClass)

MilitaryProcesses.kif 912-912 ChairmanJC s is an instance of position
s__instance(s__CombatantCommander,s__Position)

s__instance(s__Position,s__SetOrClass)

MilitaryPersons.kif 332-332 Combatant commander is an instance of position
s__instance(s__DatabaseAdministrator,s__Position)

s__instance(s__Position,s__SetOrClass)

UXExperimentalTerms.kif 2979-2979 Database administrator is an instance of position
s__instance(s__DirectorJS,s__Position)

s__instance(s__Position,s__SetOrClass)

MilitaryProcesses.kif 893-893 DirectorJS is an instance of position
s__instance(s__FullTimePosition,s__Position)

s__instance(s__Position,s__SetOrClass)

Mid-level-ontology.kif 16730-16730 Full time position is an instance of position
s__instance(s__GovernmentDeputy,s__Position)

s__instance(s__Position,s__SetOrClass)

Government.kif 1341-1341 Government deputy is an instance of position
s__instance(s__Governor,s__Position)

s__instance(s__Position,s__SetOrClass)

Government.kif 1605-1605 Governor is an instance of position
s__instance(s__JointForcesAirCommander,s__Position)

s__instance(s__Position,s__SetOrClass)

MilitaryPersons.kif 356-356 Joint forces air commander is an instance of position
s__instance(s__JointForcesCommander,s__Position)

s__instance(s__Position,s__SetOrClass)

MilitaryPersons.kif 344-344 Joint forces commander is an instance of position
s__instance(s__JointForcesLandCommander,s__Position)

s__instance(s__Position,s__SetOrClass)

MilitaryPersons.kif 378-378 Joint forces land commander is an instance of position
s__instance(s__JointForcesMaritimeCommander,s__Position)

s__instance(s__Position,s__SetOrClass)

MilitaryPersons.kif 400-400 Joint forces maritime commander is an instance of position
s__instance(s__JointForcesSpecialOperationsCommander,s__Position)

s__instance(s__Position,s__SetOrClass)

MilitaryPersons.kif 432-432 Joint forces special operations commander is an instance of position
s__instance(s__JointTaskForceCommander,s__Position)

s__instance(s__Position,s__SetOrClass)

MilitaryPersons.kif 336-336 Joint task force commander is an instance of position
s__instance(s__Position,s__SetOrClass)

s__instance(s__King,s__Position)

Government.kif 1378-1378 King is an instance of position
s__instance(s__Position,s__SetOrClass)

s__instance(s__Leader,s__Position)

Government.kif 2242-2242 Leader is an instance of position
s__instance(s__Position,s__SetOrClass)

s__instance(s__LieutenantGovernor,s__Position)

Government.kif 1619-1619 Lieutenant governor is an instance of position
s__instance(s__Manager,s__Position)

s__instance(s__Position,s__SetOrClass)

FinancialOntology.kif 3585-3585 Manager is an instance of position
s__instance(s__Mayor,s__Position)

s__instance(s__Position,s__SetOrClass)

Government.kif 1623-1623 Mayor is an instance of position
s__instance(s__MilitaryCommander,s__Position)

s__instance(s__Position,s__SetOrClass)

Government.kif 1344-1344 Military commander is an instance of position
s__instance(s__Position,s__SetOrClass)

s__instance(s__Monarch,s__Position)

Government.kif 1346-1346 Monarch is an instance of position
s__instance(s__NationalCommitteeChairman,s__Position)

s__instance(s__Position,s__SetOrClass)

Government.kif 2244-2244 National committee chairman is an instance of position
s__instance(s__PartTimePosition,s__Position)

s__instance(s__Position,s__SetOrClass)

Mid-level-ontology.kif 16734-16734 Part time position is an instance of position
s__instance(s__PermanentRepresentative,s__Position)

s__instance(s__Position,s__SetOrClass)

Government.kif 2243-2243 Permanent representative is an instance of position

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__MemberRoleFn__m,n__2,s__Position)

Government.kif 1769-1769 The number 2 argument of member role is an instance of position
s__domain(s__chiefOfDiplomaticMission__m,n__3,s__Position)

Government.kif 4409-4409 The number 3 argument of chief of diplomatic mission is an instance of position
s__domain(s__chiefOfState__m,n__2,s__Position)

Government.kif 1539-1539 The number 2 argument of chief of state is an instance of position
s__domain(s__chiefOfStateType__m,n__2,s__Position)

Government.kif 1564-1564 The number 2 argument of chief of state type is an instance of position
s__domain(s__diplomaticRepresentationType__m,n__2,s__Position)

Government.kif 4486-4486 The number 2 argument of diplomatic representation type is an instance of position
s__domain(s__diplomaticRepresentativeInRole__m,n__3,s__Position)

Government.kif 4421-4421 The number 3 argument of diplomatic representative in role is an instance of position
s__domain(s__headOfGovernment__m,n__2,s__Position)

Government.kif 1585-1585 The number 2 argument of head of government is an instance of position
s__domain(s__leaderPosition__m,n__2,s__Position)

Government.kif 1422-1422 The number 2 argument of leader position is an instance of position
s__domain(s__occupiesPosition__m,n__2,s__Position)

Merge.kif 16462-16462 The number 2 argument of occupies position is an instance of position
s__domain(s__subordinatePosition__m,n__2,s__Position)

Mid-level-ontology.kif 20799-20799 The number 2 argument of subordinate position is an instance of position
s__domain(s__subordinatePosition__m,n__3,s__Position)

Mid-level-ontology.kif 20800-20800 The number 3 argument of subordinate position is an instance of position

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


( ! [V__AGENT,V__POSITION,V__ORG] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__ORG,s__Organization) &
         s__instance(V__POSITION,s__Position) &
         s__attribute(V__AGENT,s__MemberRoleFn(V__ORG,V__POSITION)))
   =>
   (s__attribute(V__AGENT,s__MemberFn(V__ORG))))
)
)

Government.kif 1775-1781
( ! [V__AGENT,V__POSITION,V__ORG] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__ORG,s__Organization) &
         s__instance(V__POSITION,s__Position) &
         s__attribute(V__AGENT,s__MemberRoleFn(V__ORG,V__POSITION)))
   =>
   (s__member(V__AGENT,V__ORG)))
)
)

Government.kif 1783-1789
( ! [V__PERSON,V__COUNTRY,V__ROLE] :
   ((s__instance(V__PERSON,s__Human) =>
       (((s__instance(V__COUNTRY,s__Nation) &
             s__leader(V__COUNTRY,V__PERSON)
           &
           s__instance(V__ROLE,s__Position) &
           s__occupiesPosition(V__PERSON,V__ROLE,s__GovernmentFn(V__COUNTRY)))
     =>
     (s__leaderPosition(V__COUNTRY,V__ROLE)))))
)
)

Government.kif 1442-1448
( ! [V__ORG,V__PERSON,V__ROLE] :
   ((s__instance(V__PERSON,s__Human) =>
       (((s__instance(V__ORG,s__Agent) &
             s__leader(V__ORG,V__PERSON)
           &
           s__instance(V__ROLE,s__Position) &
           s__occupiesPosition(V__PERSON,V__ROLE,V__ORG))
       =>
       (s__leaderPosition(V__ORG,V__ROLE)))))
)
)

Government.kif 1433-1439
( ! [V__POSITION,V__ORG,V__PERSON] :
   (((s__instance(V__PERSON,s__Human) &
         s__instance(V__ORG,s__Organization) &
         s__instance(V__POSITION,s__Position) &
         s__attribute(V__PERSON,s__MemberRoleFn(V__ORG,V__POSITION)))
   =>
   (s__occupiesPosition(V__PERSON,V__POSITION,V__ORG)))
)
)

Government.kif 1792-1798
( ! [V__AREA,V__PERSON,V__ROLE] :
   (((s__instance(V__PERSON,s__Human) &
         s__instance(V__ROLE,s__Position) &
         s__instance(V__AREA,s__GeopoliticalArea) &
         s__leaderPosition(V__AREA,V__ROLE)
       &
       s__occupiesPosition(V__PERSON,V__ROLE,s__GovernmentFn(V__AREA)))
=>
(s__leader(V__AREA,V__PERSON)))
)
)

Government.kif 1473-1480
( ! [V__ORG,V__PERSON,V__ROLE] :
   (((s__instance(V__PERSON,s__Human) &
         s__instance(V__ROLE,s__Position) &
         s__instance(V__ORG,s__Agent) &
         s__leaderPosition(V__ORG,V__ROLE)
       &
       s__occupiesPosition(V__PERSON,V__ROLE,V__ORG))
   =>
   (s__leader(V__ORG,V__PERSON)))
)
)

Government.kif 1464-1471

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


( ! [V__COUNTRY1,V__COUNTRY2] :
   (((s__instance(V__COUNTRY1,s__GeopoliticalArea) &
         s__instance(V__COUNTRY2,s__GeopoliticalArea))
       =>
       ((s__diplomaticRelations(V__COUNTRY1,V__COUNTRY2)
         =>
         (( ? [V__ROLE1, V__ROLE2] :
             ((s__instance(V__ROLE1,s__Position) &
                 s__instance(V__ROLE2,s__Position) &
                 s__diplomaticRepresentationType(V__COUNTRY1,V__ROLE1,V__COUNTRY2)
               &
               s__diplomaticRepresentationType(V__COUNTRY2,V__ROLE2,V__COUNTRY1))))))))
)
)

Government.kif 4536-4543


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