TreeView 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 504-505
(domain OverseasAreaFn 1 GeopoliticalArea)	Government.kif 501-501	Le nombre 1 argument de OverseasAreaFn est une instance de secteur g�opolitique
(instance OverseasAreaFn UnaryFunction)	Government.kif 500-500	OverseasAreaFn est une instance de function unaire
(rangeSubclass OverseasAreaFn OverseasArea)	Government.kif 502-502	Les valeurs retourn�es par OverseasAreaFn sont des sous-classes de OverseasArea

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

antecedent

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

Government.kif 507-511