| PublicProgram(public program) | | program, programme |
| appearance as argument number 1 |
|
|
| (documentation PublicProgram EnglishLanguage "From WordNet synset: a system of projects or services intended to meet a public need. Examples: he proposed an elaborate program of public works, working mothers rely on the day care program.") | MilitaryProcesses.kif 1376-1379 | |
| (subclass PublicProgram OrganizationalProcess) | MilitaryProcesses.kif 1375-1375 | Public program is a subclass of organizational process |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PublicProgram "公共计划") | domainEnglishFormat.kif 48034-48034 | |
| (termFormat ChineseTraditionalLanguage PublicProgram "公共計劃") | domainEnglishFormat.kif 48033-48033 | |
| (termFormat EnglishLanguage PublicProgram "public program") | domainEnglishFormat.kif 48032-48032 |
| antecedent |
|
|
| (=> (and (instance ?PP PublicProgram) (experiencer ?PP ?PUBLIC)) (hasPurpose ?PP (exists (?HELPING) (and (instance ?HELPING Helping) (experiencer ?HELPING ?PUBLIC) (instance ?PUBLIC Public))))) |
MilitaryProcesses.kif 1383-1392 |
|
| consequent |
|
|
| (=> (instance ?DP DevelopPrograms) (exists (?PROGRAM) (and (result ?DP ?PROGRAM) (instance ?PROGRAM PublicProgram)))) |
MilitaryProcesses.kif 1203-1208 |
|
|
|
|