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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BelowTheLine

Sigma KEE - BelowTheLine
BelowTheLine(在線下面)

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


(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 975-981
(subclass BelowTheLine JointPublication) MilitaryProcesses.kif 973-973 子類 在線下面 and 聯合出版物

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


(disjoint AboveTheLine BelowTheLine) MilitaryProcesses.kif 974-974 不相交的 在線以上 and 在線下面
(termFormat ChineseLanguage BelowTheLine "在线下面") domainEnglishFormat.kif 10709-10709
(termFormat ChineseTraditionalLanguage BelowTheLine "在線下面") domainEnglishFormat.kif 10708-10708
(termFormat EnglishLanguage BelowTheLine "below the line") domainEnglishFormat.kif 10707-10707

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


(=>
    (instance ?PUB BelowTheLine)
    (exists (?SIGNING ?H)
        (and
            (instance ?SIGNING SigningAnAgreement)
            (attribute ?H DirectorJS)
            (agent ?SIGNING ?H)
            (patient ?SIGNING ?PUB))))
MilitaryProcesses.kif 984-991


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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