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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DevelopPrograms
DevelopPrograms(develop programs)

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


(documentation DevelopPrograms EnglishLanguage "(a) Developing, Producing, Distributing, and Disseminating. PSYOP units design, develop, and produce programs. They distribute and disseminate products that support tactical, operational, and strategic goals.") MilitaryProcesses.kif 1197-1200
(subclass DevelopPrograms Creation) MilitaryProcesses.kif 1196-1196 Develop programs is a subclass of creation
(subclass DevelopPrograms PsychologicalOperation) MilitaryProcesses.kif 1195-1195 Develop programs is a subclass of psychological operation

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


(termFormat ChineseLanguage DevelopPrograms "制定计划") domainEnglishFormat.kif 19255-19255
(termFormat ChineseTraditionalLanguage DevelopPrograms "制定計劃") domainEnglishFormat.kif 19254-19254
(termFormat EnglishLanguage DevelopPrograms "develop programs") domainEnglishFormat.kif 19253-19253
(termFormat EnglishLanguage DevelopPrograms "program development") MilitaryProcesses.kif 2736-2736

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


(=>
    (instance ?DP DevelopPrograms)
    (exists (?PROGRAM)
        (and
            (result ?DP ?PROGRAM)
            (instance ?PROGRAM PublicProgram))))
MilitaryProcesses.kif 1202-1207


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners