| 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 | 群岛 是 群体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5841-5841 | 群岛 是 土地形式 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2560-2560 | AalandIslands 是 群岛 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2595-2595 | 英属维尔京群岛 是 群岛 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1159-1159 | 波多黎各 是 群岛 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2599-2599 | USVirginIslands 是 群岛 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1163-1163 | 维尔京群岛 是 群岛 的 instance |
| 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 |
|
|
|