TreeView Knowledge Base Browser - judicialBranch

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 2061-2064
No TPTP formula. May not be expressible in strict first order.	Government.kif 2058-2058	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 2059-2059	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 2057-2057	judicial branch is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2056-2056	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 2094-2099	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 2088-2092	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 2082-2086	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 2076-2080	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 2111-2113	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 2066-2070	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 2072-2074	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 2119-2123	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 2115-2117	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 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