No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4244-4244 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5164-5164 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4241-4241 |
红河 是 河 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4242-4242 |
红河 是 密西西比河 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4243-4243 |
红河 是 美国 的 part |