OverseasAreaFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation OverseasAreaFn EnglishLanguage "(OverseasAreaFn ?AREA) denotes the class of OverseasAreas that belong to the GeopoliticalArea ?AREA.")	Government.kif 468-469
(domain OverseasAreaFn 1 GeopoliticalArea)	Government.kif 465-465
(instance OverseasAreaFn UnaryFunction)	Government.kif 464-464
(rangeSubclass OverseasAreaFn OverseasArea)	Government.kif 466-466

appearance as argument number 2

(format ChineseLanguage OverseasAreaFn "%1 的 overseas 区域")	domainEnglishFormat.kif 1895-1895
(format ChineseTraditionalLanguage OverseasAreaFn "%1 的 overseas 區域")	domainEnglishFormat.kif 1894-1894
(format EnglishLanguage OverseasAreaFn "the overseas area of %1")	domainEnglishFormat.kif 1893-1893
(termFormat ChineseLanguage OverseasAreaFn "海外地区")	domainEnglishFormat.kif 43808-43808
(termFormat ChineseTraditionalLanguage OverseasAreaFn "海外地區")	domainEnglishFormat.kif 43807-43807
(termFormat EnglishLanguage OverseasAreaFn "overseas area")	domainEnglishFormat.kif 43806-43806

antecedent

(=>
    (and
        (instance ?COUNTRY Nation)
        (instance ?AREA
            (OverseasAreaFn ?COUNTRY)))
    (dependentAreaOfType ?AREA ?COUNTRY OverseasArea))

Government.kif 471-475