DirectorJS - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DirectorJS EnglishLanguage "The director of the Joint Staff.")	MilitaryProcesses.kif 901-901
(instance DirectorJS Position)	MilitaryProcesses.kif 893-893	DirectorJS is an instance of position
(subAttribute DirectorJS MilitaryCommander)	MilitaryProcesses.kif 894-894	DirectorJS is a subattribute of military commander

appearance as argument number 2

(leaderPosition JointStaff DirectorJS)	MilitaryProcesses.kif 900-900	DirectorJS is a leader position of joint staff
(termFormat ChineseLanguage DirectorJS "联合参谋部指挥")	domainEnglishFormat.kif 19737-19737	DirectorJS is a leader position of joint staff
(termFormat ChineseTraditionalLanguage DirectorJS "聯合參謀部指揮")	domainEnglishFormat.kif 19736-19736	DirectorJS is a leader position of joint staff
(termFormat EnglishLanguage DirectorJS "Director of the Joint Staff")	MilitaryProcesses.kif 2933-2933	DirectorJS is a leader position of joint staff
(termFormat EnglishLanguage DirectorJS "directorJS")	domainEnglishFormat.kif 19735-19735	DirectorJS is a leader position of joint staff

antecedent

MilitaryProcesses.kif 895-897

consequent

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

MilitaryProcesses.kif 984-991