AboveTheLine - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint AboveTheLine BelowTheLine)	MilitaryProcesses.kif 974-974	Above the line is disjoint from below the line
(documentation AboveTheLine EnglishLanguage "The upper level publications in the hierarchy of joint publications which includes capstone, keystone, and other key joint doctrine publications that the Chairman of the Joint Chiefs of Staff signs and are intended to be used by combatant commanders, subunified commanders, joint task force commanders, Service Chiefs, and Joint Staff directors.")	MilitaryProcesses.kif 956-961	Above the line is disjoint from below the line
(subclass AboveTheLine JointPublication)	MilitaryProcesses.kif 955-955	Above the line is a subclass of joint publication

appearance as argument number 2

(subclass Capstone AboveTheLine)	MilitaryProcesses.kif 1082-1082	Capstone is a subclass of above the line
(subclass Keystone AboveTheLine)	MilitaryProcesses.kif 1090-1090	Keystone is a subclass of above the line
(termFormat ChineseLanguage AboveTheLine "在线以上")	domainEnglishFormat.kif 5110-5110	Keystone is a subclass of above the line
(termFormat ChineseTraditionalLanguage AboveTheLine "在線以上")	domainEnglishFormat.kif 5109-5109	Keystone is a subclass of above the line
(termFormat EnglishLanguage AboveTheLine "above the line")	domainEnglishFormat.kif 5108-5108	Keystone is a subclass of above the line

antecedent

(=>
    (instance ?PUB AboveTheLine)
    (exists (?SIGNING ?H)
        (and
            (instance ?SIGNING SigningAnAgreement)
            (attribute ?H ChairmanJCS)
            (agent ?SIGNING ?H)
            (patient ?SIGNING ?PUB))))

MilitaryProcesses.kif 964-971