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	The number 1 argument of overseas area is an instance of geopolitical area
(instance OverseasAreaFn UnaryFunction)	Government.kif 464-464	Overseas area is an instance of unary function
(rangeSubclass OverseasAreaFn OverseasArea)	Government.kif 466-466	The values returned by overseas area are subclasses of overseas area

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 43844-43844
(termFormat ChineseTraditionalLanguage OverseasAreaFn "海外地區")	domainEnglishFormat.kif 43843-43843
(termFormat EnglishLanguage OverseasAreaFn "overseas area")	domainEnglishFormat.kif 43842-43842

antecedent

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

Government.kif 471-475