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 | Long island is an instance of island |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 805-805 | Long island is a part of new york state |
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 |