Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PublicProgram
PublicProgram(public program)program, programme

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


(subclass PublicProgram OrganizationalProcess) MilitaryProcesses.kif 1397-1397 Public program is a subclass of organizational process
(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 1398-1401 Public program is a subclass of organizational process

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


(termFormat EnglishLanguage PublicProgram "public program") domainEnglishFormat.kif 47989-47989
(termFormat ChineseTraditionalLanguage PublicProgram "公共計劃") domainEnglishFormat.kif 47990-47990
(termFormat ChineseLanguage PublicProgram "公共计划") domainEnglishFormat.kif 47991-47991

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


(=>
    (and
        (instance ?PP PublicProgram)
        (experiencer ?PP ?PUBLIC))
    (hasPurpose ?PP
        (exists (?HELPING)
            (and
                (instance ?HELPING Helping)
                (experiencer ?HELPING ?PUBLIC)
                (instance ?PUBLIC Public)))))		 MilitaryProcesses.kif 1405-1414 If X is an instance of public program and Y experiences X, then X has the purpose there exists Z such that Z is an instance of helping, Y experiences Z, and Y is an instance of public

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


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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners