|
|
   Archipelago
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5843-5843 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2434-2434 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2538-2538 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1033-1033 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5842-5842 | 子類 群島 and Collection |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5841-5841 | 子類 群島 and 土地形式 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2560-2560 | 例 AalandIslands and 群島 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2595-2595 | 例 英屬維爾京群島 and 群島 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1159-1159 | 例 波多黎各 and 群島 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2599-2599 | 例 USVirginIslands and 群島 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1163-1163 | 例 維爾京群島 and 群島 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8220-8220 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8219-8219 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8218-8218 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5845-5849 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5856-5861 |
|
|
|
