LongIsland
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 806-808 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4772-4772 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 804-804 | 长岛 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 805-805 | 长岛 是 纽约州 的 part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34985-34985 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34984-34984 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34983-34983 |