No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 710-710 |
美国佐治亚州亚特兰大 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 713-713 |
巴尔的摩马里兰州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 723-723 |
马萨诸塞州波士顿 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1610-1610 |
芝加哥美国 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 853-853 |
克利夫兰俄亥俄州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 857-857 |
哥伦布俄亥俄州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 850-850 |
达拉斯得克萨斯 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 837-837 |
丹佛科罗拉多州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 840-840 |
底特律密执安 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 834-834 |
法戈北达科他州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 824-824 |
檀香山夏威夷 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 827-827 |
休斯敦,德克萨斯州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 726-726 |
堪萨斯城密苏里州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 809-809 |
洛杉矶加利福尼亚州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 730-730 |
曼彻斯特新罕布什尔州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 729-729 |
孟菲斯田纳西州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 736-736 |
明尼阿波利斯明尼苏达州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 752-752 |
纳什维尔田纳西州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2128-2128 |
纽约市美国 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 762-762 |
费城宾夕法尼亚州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 765-765 |
匹兹堡宾夕法尼亚州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 770-770 |
天意罗德岛 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 774-774 |
里士满弗吉尼亚州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 782-782 |
圣路易斯密苏里州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 785-785 |
圣保罗明尼苏达州 是 美国城市 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |