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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DirectorJS
DirectorJS(directorJS)

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 "导演.JS") domainEnglishFormat.kif 19713-19713
(termFormat ChineseTraditionalLanguage DirectorJS "導演.JS") domainEnglishFormat.kif 19712-19712
(termFormat EnglishLanguage DirectorJS "Director of the Joint Staff") MilitaryProcesses.kif 2738-2738
(termFormat EnglishLanguage DirectorJS "directorJS") domainEnglishFormat.kif 19711-19711

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


(=>
    (attribute ?H DirectorJS)
    (member ?H JointChiefsOfStaff))
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


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