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

Formal Language: 



KB Term:  Term intersection
English Word: 

  executiveBranch

 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 1248-1251
(domain executiveBranch 1 Organization) Government.kif 1245-1245 行政部门 的 1 数量 是 机构 的 instance
(domain executiveBranch 2 AutonomousAgent) Government.kif 1246-1246 行政部门 的 2 数量 是 施事体 的 instance
(instance executiveBranch AsymmetricRelation) Government.kif 1244-1244 行政部门 是 非对称关系 的 instance
(instance executiveBranch BinaryPredicate) Government.kif 1243-1243 行政部门 是 二元谓语 的 instance

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

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


(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1277-1282
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))		 Government.kif 1259-1263
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 1271-1275
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 1265-1269
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (ExecutiveBranchFn ?AGENT)))		 Government.kif 1292-1294
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 1253-1257

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


(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 1300-1304
(=>
    (instance
        (ExecutiveBranchFn ?AGENT) Organization)
    (executiveBranch
        (ExecutiveBranchFn ?AGENT) ?AGENT))		 Government.kif 1296-1298


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