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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - executiveBranch
executiveBranch

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


(documentation executiveBranch EnglishLanguage "(executiveBranch ?BRANCH ?ORG) means that the Organization ?BRANCH is the executive branch of the GeopoliticalArea or Organization ?ORG, that is, its executive offices and bodies, considered as a whole.") Government.kif 1238-1241
(domain executiveBranch 1 Organization) Government.kif 1235-1235
(domain executiveBranch 2 Agent) Government.kif 1236-1236
(instance executiveBranch AsymmetricRelation) Government.kif 1234-1234
(instance executiveBranch BinaryPredicate) Government.kif 1233-1233

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


(format ChineseLanguage executiveBranch "%2 %n 是 %1 的 executive 分支") domainEnglishFormat.kif 931-931
(format ChineseTraditionalLanguage executiveBranch "%2 %n 是 %1 的 executive 分支") domainEnglishFormat.kif 930-930
(format EnglishLanguage executiveBranch "%2 is %n an executive branch of %1") domainEnglishFormat.kif 929-929
(termFormat ChineseLanguage executiveBranch "行政部门") domainEnglishFormat.kif 22645-22645
(termFormat ChineseTraditionalLanguage executiveBranch "行政部門") domainEnglishFormat.kif 22644-22644
(termFormat EnglishLanguage executiveBranch "executive branch") domainEnglishFormat.kif 22643-22643

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


(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 1267-1272
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))
Government.kif 1249-1253
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))
Government.kif 1261-1265
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))
Government.kif 1255-1259
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (ExecutiveBranchFn ?AGENT)))
Government.kif 1282-1284
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))
Government.kif 1243-1247

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners