No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2475-2475 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5199-5199 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5590-5590 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3696-3696 |
Zamboanga philippines is a geographic subregion of philippines |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2474-2474 |
Zamboanga philippines is an instance of city |