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 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 47998-47998
(termFormat ChineseTraditionalLanguage PublicProgram "公共計劃") domainEnglishFormat.kif 47997-47997
(termFormat EnglishLanguage PublicProgram "public program") domainEnglishFormat.kif 47996-47996

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


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 3.0 is open source software produced by Articulate Software and its partners