TreeView Knowledge Base Browser - executiveBranch

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

executiveBranch

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 1284-1287
(domain executiveBranch 1 Organization)	Government.kif 1281-1281	The number 1 argument of executive branch is an instance of organization
(domain executiveBranch 2 AutonomousAgent)	Government.kif 1282-1282	The number 2 argument of executive branch is an instance of agent
(instance executiveBranch AsymmetricRelation)	Government.kif 1280-1280	executive branch is an instance of asymmetric relation
(instance executiveBranch BinaryPredicate)	Government.kif 1279-1279	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 22714-22714
(termFormat ChineseTraditionalLanguage executiveBranch "行政部門")	domainEnglishFormat.kif 22713-22713
(termFormat EnglishLanguage executiveBranch "executive branch")	domainEnglishFormat.kif 22712-22712

antecedent

(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 1313-1318	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 1295-1299	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 1307-1311	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 1301-1305	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 1328-1330	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 1289-1293	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 1336-1340	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 1332-1334	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 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