| appearance as argument number 1 |
|
| (documentation OverseasAreaFn EnglishLanguage "(OverseasAreaFn ?AREA) denotes the class of OverseasAreas that belong to the GeopoliticalArea ?AREA.") | Government.kif 492-493 | |
| (domain OverseasAreaFn 1 GeopoliticalArea) | Government.kif 489-489 | |
| (instance OverseasAreaFn UnaryFunction) | Government.kif 488-488 | |
| (rangeSubclass OverseasAreaFn OverseasArea) | Government.kif 490-490 |
| 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 43783-43783 | |
| (termFormat ChineseTraditionalLanguage OverseasAreaFn "海外地區") | domainEnglishFormat.kif 43782-43782 | |
| (termFormat EnglishLanguage OverseasAreaFn "overseas area") | domainEnglishFormat.kif 43781-43781 |
| antecedent |
|
|
| (=> (and (instance ?COUNTRY Nation) (instance ?AREA (OverseasAreaFn ?COUNTRY))) (dependentAreaOfType ?AREA ?COUNTRY OverseasArea)) |
Government.kif 495-499 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners