No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 605-605 |
柬埔寨 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 196-196 |
喀麦隆 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 409-409 |
加拿大 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 198-198 |
佛得角 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 88-88 |
中非共和国 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 90-90 |
Chad 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1210-1210 |
车臣 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 516-516 |
智利 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 546-546 |
中国 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 504-504 |
哥伦比亚 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 159-159 |
科摩罗 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 475-475 |
哥斯达黎加 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 200-200 |
科特迪瓦科特迪瓦 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 377-377 |
克罗地亚 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 438-438 |
古巴 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 243-243 |
塞浦路斯 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 278-278 |
捷克共和国 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 92-92 |
刚果民主共和国 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 98-98 |
吉布提 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 441-441 |
多米尼加 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 443-443 |
多明尼加共和国 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 609-609 |
东帝 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 523-523 |
厄瓜多尔 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 119-119 |
埃及 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 477-477 |
萨尔瓦多 是 国家 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |