Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AboveTheLine
AboveTheLine(above the line)

appearance as argument number 1
-------------------------


(disjoint AboveTheLine BelowTheLine) MilitaryProcesses.kif 973-973 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 955-960
(subclass AboveTheLine JointPublication) MilitaryProcesses.kif 954-954 Above the line is a subclass of joint publication

appearance as argument number 2
-------------------------


(subclass Capstone AboveTheLine) MilitaryProcesses.kif 1081-1081 Capstone is a subclass of above the line
(subclass Keystone AboveTheLine) MilitaryProcesses.kif 1089-1089 Keystone is a subclass of above the line
(termFormat ChineseLanguage AboveTheLine "在线以上") domainEnglishFormat.kif 5115-5115
(termFormat ChineseTraditionalLanguage AboveTheLine "在線以上") domainEnglishFormat.kif 5114-5114
(termFormat EnglishLanguage AboveTheLine "above the line") domainEnglishFormat.kif 5113-5113

antecedent
-------------------------


(=>
    (instance ?PUB AboveTheLine)
    (exists (?SIGNING ?H)
        (and
            (instance ?SIGNING SigningAnAgreement)
            (attribute ?H ChairmanJCS)
            (agent ?SIGNING ?H)
            (patient ?SIGNING ?PUB))))
MilitaryProcesses.kif 963-970


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