No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5223-5223 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5225-5225 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5224-5224 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2732-2732 |
Clark airbase philippines is a geographic subregion of philippines |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2731-2731 |
Clark airbase philippines is an instance of geographic area |