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 1246-1249
(domain executiveBranch 1 Organization)	Government.kif 1243-1243	The number 1 argument of executive branch is an instance of organization
(domain executiveBranch 2 AutonomousAgent)	Government.kif 1244-1244	The number 2 argument of executive branch is an instance of agent
(instance executiveBranch AsymmetricRelation)	Government.kif 1242-1242	executive branch is an instance of asymmetric relation
(instance executiveBranch BinaryPredicate)	Government.kif 1241-1241	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 22726-22726
(termFormat ChineseTraditionalLanguage executiveBranch "行政部門")	domainEnglishFormat.kif 22725-22725
(termFormat EnglishLanguage executiveBranch "executive branch")	domainEnglishFormat.kif 22724-22724

antecedent

(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 1275-1280	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 1257-1261	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 1269-1273	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 1263-1267	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 1290-1292	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 1251-1255	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 1298-1302	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 1294-1296	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