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 1321-1323
(domain ExecutiveBranchFn 1 Agent) Government.kif 1318-1318 domain ExecutiveBranchFn, 1 and Agent
(instance ExecutiveBranchFn UnaryFunction) Government.kif 1317-1317 instance ExecutiveBranchFn and UnaryFunction
(range ExecutiveBranchFn Organization) Government.kif 1319-1319 range ExecutiveBranchFn and Organization

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 22713-22713
(termFormat ChineseTraditionalLanguage ExecutiveBranchFn "行政部門") domainEnglishFormat.kif 22712-22712
(termFormat EnglishLanguage ExecutiveBranchFn "executive branch") domainEnglishFormat.kif 22711-22711

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


(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 1333-1337
(=>
    (instance
        (ExecutiveBranchFn ?AGENT) Organization)
    (executiveBranch
        (ExecutiveBranchFn ?AGENT) ?AGENT))
Government.kif 1329-1331

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


(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 1333-1337
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (ExecutiveBranchFn ?AGENT)))
Government.kif 1325-1327
(=>
    (instance
        (ExecutiveBranchFn ?AGENT) Organization)
    (executiveBranch
        (ExecutiveBranchFn ?AGENT) ?AGENT))
Government.kif 1329-1331
(=>
    (instance ?AREA GeopoliticalArea)
    (subOrganization
        (CabinetFn ?AREA)
        (ExecutiveBranchFn ?AREA)))
Government.kif 1531-1533


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