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

No TPTP formula. May not be expressible in strict first order.	Government.kif 1284-1287
No TPTP formula. May not be expressible in strict first order.	Government.kif 1281-1281	O argumento numero 1 de executiveBranch e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1282-1282	O argumento numero 2 de executiveBranch e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1280-1280	executiveBranch e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1279-1279	executiveBranch e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 931-931
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 930-930
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 929-929
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22714-22714
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22713-22713
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22712-22712

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1313-1318	executiveBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1295-1299	executiveBranch Organizacao and AutonomousAgent AutonomousAgent e' uma instancia de Area Geopolitica Organizacao e' uma instancia de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1307-1311	executiveBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1301-1305	executiveBranch Organizacao and Organizacao Organizacao e' uma instancia de Organizacao Organizacao e' uma parte da organizacao Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1328-1330	executiveBranch Organizacao and AutonomousAgent Organizacao e' igual a ExecutiveBranchFn AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1289-1293	executiveBranch Organizacao and AutonomousAgent Organizacao e' uma instancia de Area Geopolitica Organizacao e' uma instancia de Organizacao

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1336-1340	ExecutiveBranchFn Area Geopolitica e' uma instancia de Organizacao Area Geopolitica e' uma instancia de Area Geopolitica executiveBranch ExecutiveBranchFn Area Geopolitica and o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1332-1334	ExecutiveBranchFn AutonomousAgent e' uma instancia de Organizacao executiveBranch ExecutiveBranchFn AutonomousAgent and AutonomousAgent

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