TreeView Knowledge Base Browser

appearance as argument number 1

(instance OverseasAreaFn UnaryFunction)	Government.kif 464-464	Overseas area is an instance of unary function
(domain OverseasAreaFn 1 GeopoliticalArea)	Government.kif 465-465	The number 1 argument of overseas area is an instance of geopolitical area
(rangeSubclass OverseasAreaFn OverseasArea)	Government.kif 466-466	The values returned by overseas area are subclasses of overseas area
(documentation OverseasAreaFn EnglishLanguage "(OverseasAreaFn ?AREA) denotes the class of OverseasAreas that belong to the GeopoliticalArea ?AREA.")	Government.kif 468-469	The values returned by overseas area are subclasses of overseas area

appearance as argument number 2

(format EnglishLanguage OverseasAreaFn "the overseas area of %1")	domainEnglishFormat.kif 1897-1897
(format ChineseTraditionalLanguage OverseasAreaFn "%1 的 overseas 區域")	domainEnglishFormat.kif 1898-1898
(format ChineseLanguage OverseasAreaFn "%1 的 overseas 区域")	domainEnglishFormat.kif 1899-1899
(termFormat EnglishLanguage OverseasAreaFn "overseas area")	domainEnglishFormat.kif 43799-43799
(termFormat ChineseTraditionalLanguage OverseasAreaFn "海外地區")	domainEnglishFormat.kif 43800-43800
(termFormat ChineseLanguage OverseasAreaFn "海外地区")	domainEnglishFormat.kif 43801-43801

antecedent

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

If X is an instance of nation and Y is an instance of the overseas area of X, then Y dependent area of type X for overseas area