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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PublicProgram
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 1375-1378
(subclass PublicProgram OrganizationalProcess) MilitaryProcesses.kif 1374-1374 Public program is a subclass of organizational process

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


(termFormat ChineseLanguage PublicProgram "公共计划") domainEnglishFormat.kif 47894-47894
(termFormat ChineseTraditionalLanguage PublicProgram "公共計劃") domainEnglishFormat.kif 47893-47893
(termFormat EnglishLanguage PublicProgram "public program") domainEnglishFormat.kif 47892-47892

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


(=>
    (and
        (instance ?PP PublicProgram)
        (experiencer ?PP ?PUBLIC))
    (hasPurpose ?PP
        (exists (?HELPING)
            (and
                (instance ?HELPING Helping)
                (experiencer ?HELPING ?PUBLIC)
                (instance ?PUBLIC Public)))))
MilitaryProcesses.kif 1382-1391

consequent
-------------------------


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