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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExecutiveBranchFn
ExecutiveBranchFn

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


(documentation ExecutiveBranchFn EnglishLanguage "(ExecutiveBranchFn ?ORG) denotes the executive branch of ?ORG, with all its officials and agencies, considered as a whole.") Government.kif 1278-1280
(domain ExecutiveBranchFn 1 Agent) Government.kif 1275-1275 行政部门 的 1 数量 是 施事体instance
(instance ExecutiveBranchFn UnaryFunction) Government.kif 1274-1274 行政部门一元函数instance
(range ExecutiveBranchFn Organization) Government.kif 1276-1276 行政部门range机构 的实例

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


(format ChineseLanguage ExecutiveBranchFn "%1 的 executive 分支") domainEnglishFormat.kif 935-935
(format ChineseTraditionalLanguage ExecutiveBranchFn "%1 的 executive 分支") domainEnglishFormat.kif 934-934
(format EnglishLanguage ExecutiveBranchFn "the executive branch of %1") domainEnglishFormat.kif 933-933
(termFormat ChineseLanguage ExecutiveBranchFn "行政部门") domainEnglishFormat.kif 22645-22645
(termFormat ChineseTraditionalLanguage ExecutiveBranchFn "行政部門") domainEnglishFormat.kif 22644-22644
(termFormat EnglishLanguage ExecutiveBranchFn "executive branch") domainEnglishFormat.kif 22643-22643

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


(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 1290-1294
(=>
    (instance
        (ExecutiveBranchFn ?AGENT) Organization)
    (executiveBranch
        (ExecutiveBranchFn ?AGENT) ?AGENT))
Government.kif 1286-1288

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


(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 1290-1294
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (ExecutiveBranchFn ?AGENT)))
Government.kif 1282-1284
(=>
    (instance
        (ExecutiveBranchFn ?AGENT) Organization)
    (executiveBranch
        (ExecutiveBranchFn ?AGENT) ?AGENT))
Government.kif 1286-1288
(=>
    (instance ?AREA GeopoliticalArea)
    (subOrganization
        (CabinetFn ?AREA)
        (ExecutiveBranchFn ?AREA)))
Government.kif 1488-1490


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