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


KB Term:  Term intersection
English Word: 

Sigma KEE - ExecutiveBranchFn
ExecutiveBranchFn

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


(instance ExecutiveBranchFn UnaryFunction) Government.kif 1291-1291 Executive branch is an instance of unary function
(domain ExecutiveBranchFn 1 AutonomousAgent) Government.kif 1292-1292 The number 1 argument of executive branch is an instance of agent
(range ExecutiveBranchFn Organization) Government.kif 1293-1293 The range of executive branch is an instance of organization
(documentation ExecutiveBranchFn EnglishLanguage "(ExecutiveBranchFn ?ORG) denotes the executive branch of ?ORG, with all its officials and agencies, considered as a whole.") Government.kif 1295-1297 The range of executive branch is an instance of organization

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


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

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


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

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


(=>
    (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
(=>
    (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
(=>
    (instance ?AREA GeopoliticalArea)
    (subOrganization
        (CabinetFn ?AREA)
        (ExecutiveBranchFn ?AREA)))		 Government.kif 1505-1507 If X is an instance of geopolitical area, then the cabinet of X is a part of the organization 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners