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 |
曼彻斯特新罕布什尔州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 731-731 |
曼彻斯特新罕布什尔州 是 新罕布什尔 的 part |