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

KB Term:  Term intersection
English Word: 

Sigma KEE - executiveBranch
executiveBranch

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


(instance executiveBranch BinaryPredicate) Government.kif 1250-1250 executive branch is an instance of binary predicate
(instance executiveBranch AsymmetricRelation) Government.kif 1251-1251 executive branch is an instance of asymmetric relation
(domain executiveBranch 1 Organization) Government.kif 1252-1252 The number 1 argument of executive branch is an instance of organization
(domain executiveBranch 2 AutonomousAgent) Government.kif 1253-1253 The number 2 argument of executive branch is an instance of agent
(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 1255-1258 The number 2 argument of executive branch is an instance of agent

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


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

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


(=>
    (executiveBranch ?BRANCH ?AGENT)
    (or
        (instance ?BRANCH GeopoliticalArea)
        (instance ?BRANCH Organization)))		 Government.kif 1260-1264 If X is an executive branch of Y, then Y is an instance of geopolitical area or Y is an instance of organization
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (instance ?BRANCH GovernmentOrganization))		 Government.kif 1266-1270 If X is an executive branch of Y and X is an instance of geopolitical area, then Y is an instance of government organization
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 1272-1276 If X is an executive branch of Y and X is an instance of organization, then Y is a part of the organization X
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 1278-1282 If X is an executive branch of Y and X is an instance of geopolitical area, then Y is a part of the organization the government of X
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1284-1289 If X is an executive branch of Y, X is an instance of geopolitical area, and Z is a part of the organization Y, then Z is a part of the organization the government of X
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (ExecutiveBranchFn ?AGENT)))		 Government.kif 1299-1301 If X is an executive branch of Y, then equal Y and the executive branch of X

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


(=>
    (instance
        (ExecutiveBranchFn ?AGENT) Organization)
    (executiveBranch
        (ExecutiveBranchFn ?AGENT) ?AGENT))		 Government.kif 1303-1305 If the executive branch of X is an instance of organization, then X is an executive branch of the executive branch of X
(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 1307-1311 If the executive branch of X is an instance of organization and X is an instance of geopolitical area, then the government of X is an executive branch of the executive branch of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners