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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PublicProgram

Sigma KEE - PublicProgram
PublicProgram

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 PublicProgram est une sous-classe de processus organisationnel

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


(termFormat ChineseLanguage PublicProgram "公共计划") domainEnglishFormat.kif 47996-47996
(termFormat ChineseTraditionalLanguage PublicProgram "公共計劃") domainEnglishFormat.kif 47995-47995
(termFormat EnglishLanguage PublicProgram "public program") domainEnglishFormat.kif 47994-47994

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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