No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1050-1050 |
美國 是 華盛頓特區美國 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2448-2448 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5555-5555 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5556-5556 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5194-5194 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5559-5559 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5561-5561 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5562-5562 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5558-5558 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5557-5557 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3669-3669 |
華盛頓特區美國 是 美國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2447-2447 |
例 華盛頓特區美國 and 美國城市 |