No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1050-1050 |
美國 是 華盛頓特區美國 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3726-3726 |
美國薩摩亞 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3734-3734 |
貝克島 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3784-3784 |
關島 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3791-3791 |
Howland島 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3797-3797 |
賈維斯島 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3801-3801 |
約翰斯頓環礁 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3805-3805 |
金曼礁 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3813-3813 |
中途島嶼 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3817-3817 |
納瓦薩島 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3827-3827 |
北馬里亞納群島 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3829-3829 |
巴爾米拉環礁 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3833-3833 |
波多黎各 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3850-3850 |
USVirginIslands 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3853-3853 |
甦醒島 是 美國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2719-2719 |
芝加哥美國 是 美國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2843-2843 |
佛羅里達 是 美國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3138-3138 |
洛杉磯加利福尼亞州 是 美國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3141-3141 |
洛杉磯國際機場美國 是 美國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1051-1051 |
新澤西州美國 是 美國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1057-1057 |
紐約市美國 是 美國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1055-1055 |
紐約州 是 美國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3458-3458 |
薩克拉門托美國 是 美國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1116-1116 |
德州 是 美國 的 geographic 次要地區 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |