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 2096-2099
(domain JudiciaryFn 1 GeopoliticalArea) Government.kif 2092-2092
(instance JudiciaryFn UnaryFunction) Government.kif 2091-2091
(range JudiciaryFn GovernmentOrganization) Government.kif 2093-2093
(range JudiciaryFn JudicialOrganization) Government.kif 2094-2094

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 31807-31807
(termFormat ChineseTraditionalLanguage JudiciaryFn "司法") domainEnglishFormat.kif 31806-31806
(termFormat EnglishLanguage JudiciaryFn "judiciary") domainEnglishFormat.kif 31805-31805

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


(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2109-2113
(=>
    (instance
        (JudiciaryFn ?AGENT) Organization)
    (judicialBranch
        (JudiciaryFn ?AGENT) ?AGENT))
Government.kif 2105-2107

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


(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2109-2113
(=>
    (instance
        (JudiciaryFn ?AGENT) Organization)
    (judicialBranch
        (JudiciaryFn ?AGENT) ?AGENT))
Government.kif 2105-2107
(=>
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY))
    (subOrganization ?COURT
        (JudiciaryFn ?COUNTRY)))
Government.kif 2141-2143
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (JudiciaryFn ?AGENT)))
Government.kif 2101-2103
(=>
    (legalSystemType ?AREA ?TYPE)
    (attribute
        (JudiciaryFn ?AREA) ?TYPE))
Government.kif 785-787


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