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 |
ManchesterNewHampshire est une instance de AmericanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 731-731 |
ManchesterNewHampshire est une partie de NewHampshire |