No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 710-710 |
例 美國佐治亞州亞特蘭大 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 713-713 |
例 巴爾的摩馬里蘭州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 723-723 |
例 馬薩諸塞州波士頓 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1610-1610 |
例 芝加哥美國 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 853-853 |
例 克利夫蘭俄亥俄州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 857-857 |
例 哥倫布俄亥俄州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 850-850 |
例 達拉斯得克薩斯 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 837-837 |
例 丹佛科羅拉多州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 840-840 |
例 底特律密執安 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 834-834 |
例 法戈北達科他州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 824-824 |
例 檀香山夏威夷 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 827-827 |
例 休斯敦,德克薩斯州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 726-726 |
例 堪薩斯城密蘇里州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 809-809 |
例 洛杉磯加利福尼亞州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 730-730 |
例 曼徹斯特新罕布什爾州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 729-729 |
例 孟菲斯田納西州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 736-736 |
例 明尼阿波利斯明尼蘇達州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 752-752 |
例 納什維爾田納西州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2128-2128 |
例 紐約市美國 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 762-762 |
例 費城賓夕法尼亞州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 765-765 |
例 匹茲堡賓夕法尼亞州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 770-770 |
例 天意羅德島 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 774-774 |
例 里士滿弗吉尼亞州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 782-782 |
例 聖路易斯密蘇里州 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 785-785 |
例 聖保羅明尼蘇達州 and 美國城市 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |