TreeView Knowledge Base Browser

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

appearance as argument number 2

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

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	MemberRoleFn の数値 2 引数はポジションの instance では %n
(domain appointedPosition 3 Position)	Biography.kif 151-151	appointedPosition の数値 3 引数はポジションの instance では %n
(domain chiefOfDiplomaticMission 3 Position)	Government.kif 4410-4410	chiefOfDiplomaticMission の数値 3 引数はポジションの instance では %n
(domain chiefOfState 2 Position)	Government.kif 1517-1517	chiefOfState の数値 2 引数はポジションの instance では %n
(domain chiefOfStateType 2 Position)	Government.kif 1542-1542	chiefOfStateType の数値 2 引数はポジションの instance では %n
(domain diplomaticRepresentationType 2 Position)	Government.kif 4487-4487	diplomaticRepresentationType の数値 2 引数はポジションの instance では %n
(domain diplomaticRepresentativeInRole 3 Position)	Government.kif 4422-4422	diplomaticRepresentativeInRole の数値 3 引数はポジションの instance では %n
(domain headOfGovernment 2 Position)	Government.kif 1563-1563	headOfGovernment の数値 2 引数はポジションの instance では %n
(domain leaderPosition 2 Position)	Government.kif 1400-1400	leaderPosition の数値 2 引数はポジションの instance では %n
(domain occupiesPosition 2 Position)	Merge.kif 17342-17342	occupiesPosition の数値 2 引数はポジションの instance では %n
(domain subordinatePosition 2 Position)	Mid-level-ontology.kif 22797-22797	subordinatePosition の数値 2 引数はポジションの instance では %n
(domain subordinatePosition 3 Position)	Mid-level-ontology.kif 22798-22798	subordinatePosition の数値 3 引数はポジションの instance では %n

antecedent

(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1753-1759	オブジェクトは人［人間］の instance では %n 組織は組織の instance では %n ポジションはポジションの instance では %n MemberRoleFn 組織 and ポジションはオブジェクトの attribute では %n MemberFn 組織はオブジェクトの attribute では %n
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG))	Government.kif 1761-1767	オブジェクトは人［人間］の instance では %n 組織は組織の instance では %n ポジションはポジションの instance では %n MemberRoleFn 組織 and ポジションはオブジェクトの attribute では %n オブジェクトは組織の member では %n
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1420-1426	地政学的地域は国民の instance では %n leader 地政学的地域 and 人［人間］ポジションはポジションの instance では %n 人［人間］は地政学的地域の government のポジションの position を holds %n{ない} leaderPosition 地政学的地域 and ポジション
(=> (and (instance ?ORG AutonomousAgent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE))	Government.kif 1411-1417	組織は AutonomousAgent の instance では %n leader 組織 and 人［人間］ポジションはポジションの instance では %n 人［人間］は組織のポジションの position を holds %n{ない} leaderPosition 組織 and ポジション
(=> (and (instance ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 1770-1776	人［人間］は人［人間］の instance では %n 組織は組織の instance では %n ポジションはポジションの instance では %n MemberRoleFn 組織 and ポジションは人［人間］の attribute では %n 人［人間］は組織のポジションの position を holds %n{ない}
(=> (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	人［人間］は人［人間］の instance では %n ポジションはポジションの instance では %n 地政学的地域は地政学的地域の instance では %n leaderPosition 地政学的地域 and ポジション人［人間］は地政学的地域の government のポジションの position を holds %n{ない} leader 地政学的地域 and 人［人間］
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG AutonomousAgent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON))	Government.kif 1442-1449	人［人間］は人［人間］の instance では %n ポジションはポジションの instance では %n 組織は AutonomousAgent の instance では %n leaderPosition 組織 and ポジション人［人間］は組織のポジションの position を holds %n{ない} leader 組織 and 人［人間］

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

diplomaticRelations 地政学的地域 and 地政学的地域
ポジションポジションポジションはポジションの instance では %n ポジションはポジションの instance では %n diplomaticRepresentationType 地政学的地域, ポジション and 地政学的地域 diplomaticRepresentationType 地政学的地域, ポジション and 地政学的地域

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

KB Term:			Term intersection

English Word: