judicialBranch - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - judicialBranch

judicialBranch

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2097-2100
No TPTP formula. May not be expressible in strict first order.	Government.kif 2094-2094	The number 1 argument of judicial branch is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2095-2095	The number 2 argument of judicial branch is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2093-2093	judicial branch is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2092-2092	judicial branch is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1405-1405
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1404-1404
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1403-1403
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31849-31849
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31848-31848
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31847-31847

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2130-2135	If a geopolitical area is a judicial 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
No TPTP formula. May not be expressible in strict first order.	Government.kif 2124-2128	If a geopolitical area is a judicial 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
No TPTP formula. May not be expressible in strict first order.	Government.kif 2118-2122	If an organization is a judicial branch of another organization and the organization is an instance of organization, then the other organization is a part of the organization the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2112-2116	If an agent is a judicial branch of an organization and the agent is an instance of geopolitical area, then the organization is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2147-2149	If a geopolitical area is a judicial branch of a judicial organization, then the judicial organization is equal to the judiciary of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2102-2106	If an agent is a judicial branch of an organization, then the organization is an instance of geopolitical area or the organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2108-2110	If an agent is a judicial branch of an organization, then the organization is an instance of judicial organization

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2155-2159	If the judiciary 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 a judicial branch of the judiciary of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2151-2153	If the judiciary of a geopolitical area is an instance of organization, then the geopolitical area is a judicial branch of the judiciary of the geopolitical area

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