OverseasAreaFn |
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 | Il numero 1 argomenti di OverseasAreaFn è un istanza di AreaGeopolitica |
(instance OverseasAreaFn UnaryFunction) | Government.kif 500-500 | OverseasAreaFn è un' istanza di FunzioneUnaria |
(rangeSubclass OverseasAreaFn OverseasArea) | Government.kif 502-502 | I valori resi da OverseasAreaFn sono sottoclassi diOverseasArea |
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 |