Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  JudiciaryFn

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 2142-2145
(domain JudiciaryFn 1 GeopoliticalArea) Government.kif 2138-2138 JudiciaryFn の数値 1 引数は 地政学的地域instance では %n
(instance JudiciaryFn UnaryFunction) Government.kif 2137-2137 JudiciaryFn1変数関数instance では %n
(range JudiciaryFn GovernmentOrganization) Government.kif 2139-2139 JudiciaryFnrangeGovernmentOrganization のインスタンス では %n
(range JudiciaryFn JudicialOrganization) Government.kif 2140-2140 JudiciaryFnrangeJudicialOrganization のインスタンス では %n

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 31879-31879
(termFormat ChineseTraditionalLanguage JudiciaryFn "司法") domainEnglishFormat.kif 31878-31878
(termFormat EnglishLanguage JudiciaryFn "judiciary") domainEnglishFormat.kif 31877-31877

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


(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2155-2159
(=>
    (instance
        (JudiciaryFn ?AGENT) Organization)
    (judicialBranch
        (JudiciaryFn ?AGENT) ?AGENT))
Government.kif 2151-2153

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


(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))
Government.kif 2155-2159
(=>
    (instance
        (JudiciaryFn ?AGENT) Organization)
    (judicialBranch
        (JudiciaryFn ?AGENT) ?AGENT))
Government.kif 2151-2153
(=>
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY))
    (subOrganization ?COURT
        (JudiciaryFn ?COUNTRY)))
Government.kif 2187-2189
(=>
    (judicialBranch ?BRANCH ?AGENT)
    (equal ?BRANCH
        (JudiciaryFn ?AGENT)))
Government.kif 2147-2149
(=>
    (legalSystemType ?AREA ?TYPE)
    (attribute
        (JudiciaryFn ?AREA) ?TYPE))
Government.kif 799-801


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