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 2059-2062
No TPTP formula. May not be expressible in strict first order.	Government.kif 2056-2056	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 2057-2057	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 2055-2055	judicial branch is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2054-2054	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 31877-31877
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31876-31876
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31875-31875

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2092-2097	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 2086-2090	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 2080-2084	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 2074-2078	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 2108-2110	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 2064-2068	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 2070-2072	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 2116-2120	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 2112-2114	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