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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Position

 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 ポジション は 社会的役割 の subclass では

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


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

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 MemberRoleFn の数値 2 引数は ポジション の instance では
(domain appointedPosition 3 Position) Biography.kif 156-156 appointedPosition の数値 3 引数は ポジション の instance では
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4407-4407 chiefOfDiplomaticMission の数値 3 引数は ポジション の instance では
(domain chiefOfState 2 Position) Government.kif 1515-1515 chiefOfState の数値 2 引数は ポジション の instance では
(domain chiefOfStateType 2 Position) Government.kif 1540-1540 chiefOfStateType の数値 2 引数は ポジション の instance では
(domain diplomaticRepresentationType 2 Position) Government.kif 4484-4484 diplomaticRepresentationType の数値 2 引数は ポジション の instance では
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4419-4419 diplomaticRepresentativeInRole の数値 3 引数は ポジション の instance では
(domain headOfGovernment 2 Position) Government.kif 1561-1561 headOfGovernment の数値 2 引数は ポジション の instance では
(domain leaderPosition 2 Position) Government.kif 1398-1398 leaderPosition の数値 2 引数は ポジション の instance では
(domain occupiesPosition 2 Position) Merge.kif 17446-17446 occupiesPosition の数値 2 引数は ポジション の instance では
(domain subordinatePosition 2 Position) Mid-level-ontology.kif 24386-24386 subordinatePosition の数値 2 引数は ポジション の instance では
(domain subordinatePosition 3 Position) Mid-level-ontology.kif 24387-24387 subordinatePosition の数値 3 引数は ポジション の instance では

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