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


KB Term:  Term intersection
English Word: 

  ExecutiveBranchFn

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