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 16056-16058
(subclass Position SocialRole)	Merge.kif 16055-16055	subclass Position and SocialRole

appearance as argument number 2

(instance Broker Position)	FinancialOntology.kif 1985-1985	instance Broker and Position
(instance Chairman Position)	Government.kif 1310-1310	instance Chairman and Position
(instance ChairmanJCS Position)	MilitaryProcesses.kif 912-912	instance ChairmanJCS and Position
(instance CombatantCommander Position)	MilitaryPersons.kif 332-332	instance CombatantCommander and Position
(instance DatabaseAdministrator Position)	UXExperimentalTerms.kif 2974-2974	instance DatabaseAdministrator and Position
(instance DirectorJS Position)	MilitaryProcesses.kif 893-893	instance DirectorJS and Position
(instance FullTimePosition Position)	Mid-level-ontology.kif 16413-16413	instance FullTimePosition and Position
(instance GovernmentDeputy Position)	Government.kif 1309-1309	instance GovernmentDeputy and Position
(instance Governor Position)	Government.kif 1573-1573	instance Governor and Position
(instance JointForcesAirCommander Position)	MilitaryPersons.kif 356-356	instance JointForcesAirCommander and Position
(instance JointForcesCommander Position)	MilitaryPersons.kif 344-344	instance JointForcesCommander and Position
(instance JointForcesLandCommander Position)	MilitaryPersons.kif 378-378	instance JointForcesLandCommander and Position
(instance JointForcesMaritimeCommander Position)	MilitaryPersons.kif 400-400	instance JointForcesMaritimeCommander and Position
(instance JointForcesSpecialOperationsCommander Position)	MilitaryPersons.kif 432-432	instance JointForcesSpecialOperationsCommander and Position
(instance JointTaskForceCommander Position)	MilitaryPersons.kif 336-336	instance JointTaskForceCommander and Position
(instance King Position)	Government.kif 1346-1346	instance King and Position
(instance Leader Position)	Government.kif 2210-2210	instance Leader and Position
(instance LieutenantGovernor Position)	Government.kif 1587-1587	instance LieutenantGovernor and Position
(instance Manager Position)	FinancialOntology.kif 3543-3543	instance Manager and Position
(instance Mayor Position)	Government.kif 1591-1591	instance Mayor and Position
(instance MilitaryCommander Position)	Government.kif 1312-1312	instance MilitaryCommander and Position
(instance Monarch Position)	Government.kif 1314-1314	instance Monarch and Position
(instance NationalCommitteeChairman Position)	Government.kif 2212-2212	instance NationalCommitteeChairman and Position
(instance PartTimePosition Position)	Mid-level-ontology.kif 16417-16417	instance PartTimePosition and Position
(instance PermanentRepresentative Position)	Government.kif 2211-2211	instance PermanentRepresentative and Position

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 1737-1737	domain MemberRoleFn, 2 and Position
(domain chiefOfDiplomaticMission 3 Position)	Government.kif 4377-4377	domain chiefOfDiplomaticMission, 3 and Position
(domain chiefOfState 2 Position)	Government.kif 1507-1507	domain chiefOfState, 2 and Position
(domain chiefOfStateType 2 Position)	Government.kif 1532-1532	domain chiefOfStateType, 2 and Position
(domain diplomaticRepresentationType 2 Position)	Government.kif 4454-4454	domain diplomaticRepresentationType, 2 and Position
(domain diplomaticRepresentativeInRole 3 Position)	Government.kif 4389-4389	domain diplomaticRepresentativeInRole, 3 and Position
(domain headOfGovernment 2 Position)	Government.kif 1553-1553	domain headOfGovernment, 2 and Position
(domain leaderPosition 2 Position)	Government.kif 1390-1390	domain leaderPosition, 2 and Position
(domain occupiesPosition 2 Position)	Merge.kif 16062-16062	domain occupiesPosition, 2 and Position
(domain subordinatePosition 2 Position)	Mid-level-ontology.kif 20657-20657	domain subordinatePosition, 2 and Position
(domain subordinatePosition 3 Position)	Mid-level-ontology.kif 20658-20658	domain subordinatePosition, 3 and Position

antecedent

(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1743-1749	instance Object and Human instance Organization and Organization instance Position and Position attribute Object and MemberRoleFn Organization and Position attribute Object and MemberFn Organization
(=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (member ?AGENT ?ORG))	Government.kif 1751-1757	instance Object and Human instance Organization and Organization instance Position and Position attribute Object and MemberRoleFn Organization and Position member Object and Organization
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1410-1416	instance GeopoliticalArea and Nation leader GeopoliticalArea and Human instance Position and Position occupiesPosition Human, Position and GovernmentFn GeopoliticalArea leaderPosition GeopoliticalArea and Position
(=> (and (instance ?ORG Agent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE))	Government.kif 1401-1407	instance Organization and Agent leader Organization and Human instance Position and Position occupiesPosition Human, Position and Organization leaderPosition Organization and Position
(=> (and (instance ?PERSON Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?PERSON (MemberRoleFn ?ORG ?POSITION))) (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 1760-1766	instance Human and Human instance Organization and Organization instance Position and Position attribute Human and MemberRoleFn Organization and Position occupiesPosition Human, Position and Organization
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?AREA GeopoliticalArea) (leaderPosition ?AREA ?ROLE) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?AREA))) (leader ?AREA ?PERSON))	Government.kif 1441-1448	instance Human and Human instance Position and Position instance GeopoliticalArea and GeopoliticalArea leaderPosition GeopoliticalArea and Position occupiesPosition Human, Position and GovernmentFn GeopoliticalArea leader GeopoliticalArea and Human
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG Agent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON))	Government.kif 1432-1439	instance Human and Human instance Position and Position instance Organization and Agent leaderPosition Organization and Position occupiesPosition Human, Position and Organization leader Organization and Human

consequent

(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE1 ?ROLE2)
        (and
            (instance ?ROLE1 Position)
            (instance ?ROLE2 Position)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1))))

Government.kif 4504-4511

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: