Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   DevelopPrograms
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DevelopPrograms PsychologicalOperation) | MilitaryProcesses.kif 1218-1218 | Develop programs is a subclass of psychological operation |
| (subclass DevelopPrograms Creation) | MilitaryProcesses.kif 1219-1219 | Develop programs is a subclass of creation |
| (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 1220-1223 | Develop programs is a subclass of creation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DevelopPrograms "program development") | MilitaryProcesses.kif 2994-2994 | |
| (termFormat EnglishLanguage DevelopPrograms "develop programs") | domainEnglishFormat.kif 19332-19332 | |
| (termFormat ChineseTraditionalLanguage DevelopPrograms "制定計劃") | domainEnglishFormat.kif 19333-19333 | |
| (termFormat ChineseLanguage DevelopPrograms "制定计划") | domainEnglishFormat.kif 19334-19334 |
| antecedent |
|
|
| (=> (instance ?DP DevelopPrograms) (exists (?PROGRAM) (and (result ?DP ?PROGRAM) (instance ?PROGRAM PublicProgram)))) |
MilitaryProcesses.kif 1225-1230 | If X is an instance of develop programs, then there exists Y such that Y is a result of X and Y is an instance of public program |
|