No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5176-5176 |
連接的 GulfOfMexico and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 919-919 |
空間的符合 Delaware and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 925-925 |
空間的符合 佛羅里達 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 931-931 |
空間的符合 格魯吉亞 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 979-979 |
空間的符合 Maine and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 982-982 |
空間的符合 馬里蘭 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 990-990 |
空間的符合 馬薩諸塞 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1036-1036 |
空間的符合 新罕布什爾 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1042-1042 |
空間的符合 新澤西州美國 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1061-1061 |
空間的符合 紐約州 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1063-1063 |
空間的符合 北卡羅來納 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1096-1096 |
空間的符合 SouthCarolina and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1134-1134 |
空間的符合 弗吉尼亞州 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4541-4541 |
名 "North Atlantic Ocean" and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4542-4542 |
名 "North Atlantic" and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40967-40967 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40966-40966 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40965-40965 |
|