executiveBranch - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	The number 1 argument of executive branch is an instance of organization
(domain executiveBranch 2 AutonomousAgent)	Government.kif 1246-1246	The number 2 argument of executive branch is an instance of agent
(instance executiveBranch AsymmetricRelation)	Government.kif 1244-1244	executive branch is an instance of asymmetric relation
(instance executiveBranch BinaryPredicate)	Government.kif 1243-1243	executive branch is an instance of binary predicate

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

antecedent

(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 1277-1282	If a geopolitical area is an executive branch of an organization and the geopolitical area is an instance of geopolitical area and another organization is a part of the organization the organization, then the other organization is a part of the organization the government of the geopolitical area
(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?BRANCH GovernmentOrganization))	Government.kif 1259-1263	If an agent is an executive branch of an organization and the agent is an instance of geopolitical area, then the organization is an instance of government organization
(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?BRANCH (GovernmentFn ?AREA)))	Government.kif 1271-1275	If a geopolitical area is an executive branch of an organization and the geopolitical area is an instance of geopolitical area, then the organization is a part of the organization the government of the geopolitical area
(=> (and (executiveBranch ?BRANCH ?ORG) (instance ?ORG Organization)) (subOrganization ?BRANCH ?ORG))	Government.kif 1265-1269	If an organization is an executive branch of another organization and the organization is an instance of organization, then the other organization is a part of the organization the organization
(=> (executiveBranch ?BRANCH ?AGENT) (equal ?BRANCH (ExecutiveBranchFn ?AGENT)))	Government.kif 1292-1294	If an agent is an executive branch of an organization, then the organization is equal to the executive branch of the agent
(=> (executiveBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization)))	Government.kif 1253-1257	If an agent is an executive branch of an organization, then the organization is an instance of geopolitical area or the organization is an instance of organization

consequent

(=> (and (instance (ExecutiveBranchFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (executiveBranch (ExecutiveBranchFn ?AREA) (GovernmentFn ?AREA)))	Government.kif 1300-1304	If the executive branch of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is an executive branch of the executive branch of the geopolitical area
(=> (instance (ExecutiveBranchFn ?AGENT) Organization) (executiveBranch (ExecutiveBranchFn ?AGENT) ?AGENT))	Government.kif 1296-1298	If the executive branch of an agent is an instance of organization, then the agent is an executive branch of the executive branch of the agent

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 is open source software produced by Articulate Software and its partners