No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 732-732 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5334-5334 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5333-5333 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5331-5331 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 730-730 |
Manchester new hampshire is an instance of american city |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 731-731 |
Manchester new hampshire is a part of new hampshire |