TreeView Knowledge Base Browser - JudiciaryFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - JudiciaryFn

JudiciaryFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2106-2109
No TPTP formula. May not be expressible in strict first order.	Government.kif 2102-2102	The number 1 argument of judiciary is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2101-2101	Judiciary is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 2103-2103	The range of judiciary is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2104-2104	The range of judiciary is an instance of judicial organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1409-1409
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1408-1408
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1407-1407
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31879-31879
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31878-31878
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31877-31877

antecedent

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

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
No TPTP formula. May not be expressible in strict first order.	Government.kif 2151-2153	If an organization is an instance of the supreme court of a geopolitical area, then the organization is a part of the organization the judiciary of the geopolitical area
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 763-765	If a legal system attribute is a legal system type of a geopolitical area, then the legal system attribute is an attribute 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