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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExecutiveBranchFn

 Sigma KEE - ExecutiveBranchFn
ExecutiveBranchFn

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


(documentation ExecutiveBranchFn EnglishLanguage "(ExecutiveBranchFn ?ORG) denotes the executive branch of ?ORG, with all its officials and agencies, considered as a whole.") Government.kif 1288-1290
(domain ExecutiveBranchFn 1 AutonomousAgent) Government.kif 1285-1285
(instance ExecutiveBranchFn UnaryFunction) Government.kif 1284-1284
(range ExecutiveBranchFn Organization) Government.kif 1286-1286

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


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

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


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

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


(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 1300-1304
(=>
    (executiveBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (ExecutiveBranchFn ?AGENT)))		 Government.kif 1292-1294
(=>
    (instance
        (ExecutiveBranchFn ?AGENT) Organization)
    (executiveBranch
        (ExecutiveBranchFn ?AGENT) ?AGENT))		 Government.kif 1296-1298
(=>
    (instance ?AREA GeopoliticalArea)
    (subOrganization
        (CabinetFn ?AREA)
        (ExecutiveBranchFn ?AREA)))		 Government.kif 1498-1500


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