AboveTheLine - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AboveTheLine JointPublication)	MilitaryProcesses.kif 977-977	Above the line is a subclass of joint publication
(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 978-983	Above the line is a subclass of joint publication
(disjoint AboveTheLine BelowTheLine)	MilitaryProcesses.kif 996-996	Above the line is disjoint from below the line

appearance as argument number 2

(subclass Capstone AboveTheLine)	MilitaryProcesses.kif 1104-1104	Capstone is a subclass of above the line
(subclass Keystone AboveTheLine)	MilitaryProcesses.kif 1112-1112	Keystone is a subclass of above the line
(termFormat EnglishLanguage AboveTheLine "above the line")	domainEnglishFormat.kif 5113-5113	Keystone is a subclass of above the line
(termFormat ChineseTraditionalLanguage AboveTheLine "在線以上")	domainEnglishFormat.kif 5114-5114	Keystone is a subclass of above the line
(termFormat ChineseLanguage AboveTheLine "在线以上")	domainEnglishFormat.kif 5115-5115	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))))

If X is an instance of above the line, then there exist Y, Z such that Y is an instance of signing an agreement, chairmanJC s is an attribute of Z, Z is an agent of Y, and X is a patient of Y