No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 56-56 |
法国 是 巴黎 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 57-57 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4227-4227 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4223-4223 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4225-4225 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1000-1000 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4221-4221 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4222-4222 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4230-4230 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4233-4233 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4220-4220 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4226-4226 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4229-4229 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4791-4791 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4224-4224 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4232-4232 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3383-3383 |
巴黎 是 法国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 54-54 |
巴黎 是 欧洲城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 55-55 |
巴黎 是 法国 的 part |