BelowTheLine - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BelowTheLine JointPublication)	MilitaryProcesses.kif 995-995	Below the line is a subclass of joint publication
(documentation BelowTheLine EnglishLanguage "The lower level publications in the hierarchy of joint publications that are signed by the Director, Joint Staff and contain specific mission-area guidance for the joint community. Included in this level are reference publications and those describing joint personnel, intelligence support, operations, logistic support, planning, and command, control, communications, and computer systems support.")	MilitaryProcesses.kif 997-1003	Below the line is a subclass of joint publication

appearance as argument number 2

(disjoint AboveTheLine BelowTheLine)	MilitaryProcesses.kif 996-996	Above the line is disjoint from below the line
(termFormat EnglishLanguage BelowTheLine "below the line")	domainEnglishFormat.kif 10713-10713	Above the line is disjoint from below the line
(termFormat ChineseTraditionalLanguage BelowTheLine "在線下面")	domainEnglishFormat.kif 10714-10714	Above the line is disjoint from below the line
(termFormat ChineseLanguage BelowTheLine "在线下面")	domainEnglishFormat.kif 10715-10715	Above the line is disjoint from below the line

antecedent

(=>
    (instance ?PUB BelowTheLine)
    (exists (?SIGNING ?H)
        (and
            (instance ?SIGNING SigningAnAgreement)
            (attribute ?H DirectorJS)
            (agent ?SIGNING ?H)
            (patient ?SIGNING ?PUB))))

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