ChairmanJCS - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ChairmanJCS

ChairmanJCS(chairmanJC s)

appearance as argument number 1

(documentation ChairmanJCS EnglishLanguage "The chairman of the Joint Chiefs of Staff.")	MilitaryProcesses.kif 918-919
(instance ChairmanJCS Position)	MilitaryProcesses.kif 912-912	ChairmanJC s is an instance of position

appearance as argument number 2

(leaderPosition JointChiefsOfStaff ChairmanJCS)	MilitaryProcesses.kif 917-917	ChairmanJC s is a leader position of joint chiefs of staff
(leaderPosition JointStaff ChairmanJCS)	MilitaryProcesses.kif 899-899	ChairmanJC s is a leader position of joint staff
(termFormat ChineseLanguage ChairmanJCS "主席JCs")	domainEnglishFormat.kif 14056-14056	ChairmanJC s is a leader position of joint staff
(termFormat ChineseTraditionalLanguage ChairmanJCS "主席JCs")	domainEnglishFormat.kif 14055-14055	ChairmanJC s is a leader position of joint staff
(termFormat EnglishLanguage ChairmanJCS "Chairman of the Joint Chiefs of Staff")	MilitaryProcesses.kif 2954-2954	ChairmanJC s is a leader position of joint staff
(termFormat EnglishLanguage ChairmanJCS "chairmanJC s")	domainEnglishFormat.kif 14054-14054	ChairmanJC s is a leader position of joint staff

antecedent

(=>
(attribute ?H ChairmanJCS)
(member ?H JointChiefsOfStaff))

MilitaryProcesses.kif 914-916

If chairmanJC s is an attribute of an object,
then the object is a member of joint chiefs of staff

consequent

(=> (and (instance ?PLANNING OperationPlanning) (agent ?PLANNING ?COMMANDER)) (or (and (instance ?COMMANDER CombatantCommander) (exists (?REQUEST ?CHAIRMAN) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?CHAIRMAN) (attribute ?CHAIRMAN ChairmanJCS) (causes ?REQUEST ?PLANNING)))) (and (instance ?COMMANDER SubunifiedCommander) (exists (?REQUEST ?COMMANDERSUPER ?MILITARY) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?COMMANDERSUPER) (attribute ?COMMANDERSUPER MilitaryCommander) (subordinatePosition ?MILITARY ?COMMANDER ?COMMANDERSUPER) (instance ?MILITARY MilitaryForce) (causes ?REQUEST ?PLANNING))))))	MilitaryProcesses.kif 1582-1604	If a process is an instance of operation planning and an agent is an agent of the process, then the agent is an instance of combatant commander and there exist another process and another agent such that the other process is an instance of requesting and the other agent is an agent of the other process and chairmanJC s is an attribute of the other agent and the other process causes the process or the agent is an instance of subunified commander and there exist the other process, the agentSUPER and an organization such that the other process is an instance of requesting and the agentSUPER is an agent of the other process and military commander is an attribute of the agentSUPER and the organization is subordinate position the agent for the agentSUPER and the organization is an instance of military force and the other process causes the process
(=> (instance ?PUB AboveTheLine) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB))))	MilitaryProcesses.kif 964-971	If an entity is an instance of above the line, then there exist a process and an agent such that the process is an instance of signing an agreement and chairmanJC s is an attribute of the agent and the agent is an agent of the process and the entity is a patient of the process
(=> (instance ?PUB ChairmanPublication) (exists (?MANAGING ?H) (and (instance ?MANAGING Managing) (attribute ?H ChairmanJCS) (agent ?MANAGING ?H) (patient ?MANAGING ?PUB))))	MilitaryProcesses.kif 1034-1041	If an entity is an instance of chairman publication, then there exist a process and an agent such that the process is an instance of managing and chairmanJC s is an attribute of the agent and the agent is an agent of the process and the entity is a patient of the process
(=> (instance ?PUB ChairmanPublication) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB))))	MilitaryProcesses.kif 1046-1053	If an entity is an instance of chairman publication, then there exist a process and an agent such that the process is an instance of signing an agreement and chairmanJC s is an attribute of the agent and the agent is an agent of the process and the entity is a patient of the process
(=> (instance ?PUB JointPublication) (exists (?MANAGING ?H) (and (instance ?MANAGING Managing) (attribute ?H ChairmanJCS) (agent ?MANAGING ?H) (patient ?MANAGING ?PUB))))	MilitaryProcesses.kif 930-937	If an entity is an instance of joint publication, then there exist a process and an agent such that the process is an instance of managing and chairmanJC s is an attribute of the agent and the agent is an agent of the process and the entity is a patient of the process

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