JointPublication - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - JointPublication

JointPublication(joint publication)

appearance as argument number 1

(documentation JointPublication EnglishLanguage "A publication containing joint doctrine that is prepared under the direction and authority of the Chairman of the Joint Chiefs of Staff and applies to all US military forces. Also called JP.")	MilitaryProcesses.kif 922-925
(externalImage JointPublication "http://upload.wikimedia.org/wikipedia/commons/ d/ d4/ Joint_Chiefs_of_Staff_seal.svg")	pictureList.kif 2693-2693
(subclass JointPublication Text)	MilitaryProcesses.kif 921-921	Joint publication is a subclass of text

appearance as argument number 2

(subclass AboveTheLine JointPublication)	MilitaryProcesses.kif 955-955	Above the line is a subclass of joint publication
(subclass BelowTheLine JointPublication)	MilitaryProcesses.kif 973-973	Below the line is a subclass of joint publication
(subclass JointDoctrine JointPublication)	MilitaryProcesses.kif 1017-1017	Joint doctrine is a subclass of joint publication
(subclass JointTest JointPublication)	MilitaryProcesses.kif 1099-1099	Joint test is a subclass of joint publication
(termFormat ChineseLanguage JointPublication "联合出版物")	domainEnglishFormat.kif 31758-31758	Joint test is a subclass of joint publication
(termFormat ChineseTraditionalLanguage JointPublication "聯合出版物")	domainEnglishFormat.kif 31757-31757	Joint test is a subclass of joint publication
(termFormat EnglishLanguage JointPublication "Joint Publication")	MilitaryProcesses.kif 2956-2956	Joint test is a subclass of joint publication
(termFormat EnglishLanguage JointPublication "joint publication")	domainEnglishFormat.kif 31756-31756	Joint test is a subclass of joint publication

antecedent

(=> (and (subclass ?PUB JointPublication) (instance ?ONE ?PUB) (containsInformation ?ONE ?CONTENT) (authors ?JORG ?PUB)) (exists (?ORG) (and (subOrganization ?ORG USMilitary) (confersObligation ?CONTENT ?JORG ?ORG))))	MilitaryProcesses.kif 940-949	If a kind of content bearing object is a subclass of joint publication and a content bearing physical is an instance of a kind of content bearing object and the content bearing physical contains information a formula and an agent is the author of the kind of content bearing object, then there exists an organization such that the organization is a part of the organization US military and the agent obligates the organization to perform task of the type the formula
(=> (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