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
-------------------------


(documentation JudiciaryFn EnglishLanguage "(JudiciaryFn ?AREA) denotes the judicial branch of the GeopoliticalArea ?AREA, that is, the JudicialOrganization(s) associated with the government of ?AREA, considered as a whole.") Government.kif 2104-2107
(domain JudiciaryFn 1 GeopoliticalArea) Government.kif 2100-2100 The number 1 argument of judiciary is an instance of geopolitical area
(instance JudiciaryFn UnaryFunction) Government.kif 2099-2099 Judiciary is an instance of unary function
(range JudiciaryFn GovernmentOrganization) Government.kif 2101-2101 The range of judiciary is an instance of government organization
(range JudiciaryFn JudicialOrganization) Government.kif 2102-2102 The range of judiciary is an instance of judicial organization

appearance as argument number 2
-------------------------


(format ChineseLanguage JudiciaryFn "%1 的 judiciary ") domainEnglishFormat.kif 1409-1409
(format ChineseTraditionalLanguage JudiciaryFn "%1 的 judiciary ") domainEnglishFormat.kif 1408-1408
(format EnglishLanguage JudiciaryFn "the judiciary of %1") domainEnglishFormat.kif 1407-1407
(termFormat ChineseLanguage JudiciaryFn "司法") domainEnglishFormat.kif 31907-31907
(termFormat ChineseTraditionalLanguage JudiciaryFn "司法") domainEnglishFormat.kif 31906-31906
(termFormat EnglishLanguage JudiciaryFn "judiciary") domainEnglishFormat.kif 31905-31905

antecedent
-------------------------


(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2117-2121
(=>
    (instance
        (JudiciaryFn ?AGENT) Organization)
    (judicialBranch
        (JudiciaryFn ?AGENT) ?AGENT))		 Government.kif 2113-2115

consequent
-------------------------


(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2117-2121
(=>
    (instance
        (JudiciaryFn ?AGENT) Organization)
    (judicialBranch
        (JudiciaryFn ?AGENT) ?AGENT))		 Government.kif 2113-2115
(=>
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY))
    (subOrganization ?COURT
        (JudiciaryFn ?COUNTRY)))		 Government.kif 2149-2151
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (JudiciaryFn ?AGENT)))		 Government.kif 2109-2111
(=>
    (legalSystemType ?AREA ?TYPE)
    (attribute
        (JudiciaryFn ?AREA) ?TYPE))		 Government.kif 761-763


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