No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1163-1163 |
部分 Virus 和 病毒部分 的 viral 部分 and Virus |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 711-711 |
部分 美國佐治亞州亞特蘭大 and 格魯吉亞 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 662-662 |
部分 澳大利亞 and 大洋洲 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 714-714 |
部分 巴爾的摩馬里蘭州 and 馬里蘭 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 724-724 |
部分 馬薩諸塞州波士頓 and 馬薩諸塞 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1611-1611 |
部分 芝加哥美國 and 伊利諾伊 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 854-854 |
部分 克利夫蘭俄亥俄州 and 俄亥俄州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 915-915 |
部分 康涅狄格 and 新英格蘭 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 851-851 |
部分 達拉斯得克薩斯 and 德州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 841-841 |
部分 底特律密執安 and 密歇根州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 835-835 |
部分 法戈北達科他州 and 北達科他州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1242-1242 |
部分 德國 and 歐洲 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1245-1245 |
部分 希臘 and 歐洲 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 828-828 |
部分 休斯敦,德克薩斯州 and 德州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 832-832 |
部分 哈德遜河 and 紐約州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 728-728 |
部分 堪薩斯城密蘇里州 and 密蘇里州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 820-820 |
部分 朝鮮半島 and 亞洲 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 805-805 |
部分 長島 and 紐約州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 810-810 |
部分 洛杉磯加利福尼亞州 and 加州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 731-731 |
部分 曼徹斯特新罕布什爾州 and 新罕布什爾 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 989-989 |
部分 馬薩諸塞 and 新英格蘭 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 733-733 |
部分 孟菲斯田納西州 and 田納西 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 737-737 |
部分 明尼阿波利斯明尼蘇達州 and 明尼蘇達 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 740-740 |
部分 密西西比河 and 美國 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 746-746 |
部分 蒙特利爾加拿大 and 加拿大 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |