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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DirectorJS

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 19722-19722
(termFormat ChineseTraditionalLanguage DirectorJS "導演.JS") domainEnglishFormat.kif 19721-19721
(termFormat EnglishLanguage DirectorJS "Director of the Joint Staff") MilitaryProcesses.kif 2763-2763
(termFormat EnglishLanguage DirectorJS "directorJS") domainEnglishFormat.kif 19720-19720

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 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