No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3297-3297 |
澳门帕塔卡 是 澳门 的 currency 类别 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3807-3807 |
澳门 是 中国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3808-3808 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 567-567 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7244-7244 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7245-7245 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7246-7246 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7247-7247 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7253-7253 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7248-7248 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7249-7249 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7254-7254 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7250-7250 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7251-7251 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7252-7252 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 555-555 |
澳门 是 东亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3896-3896 |
澳门 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 543-543 |
澳门 是 土地面积 的 instance |