No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4805-4805 |
AstraZeneca 的 headquarters 是在 England |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5167-5167 |
CosworthCorp 的 headquarters 是在 England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6952-6952 |
苏格兰 接上 England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6962-6962 |
Wales 接上 England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6954-6954 |
北爱尔兰 在 England 的 西北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6951-6951 |
苏格兰 在 England 的 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6961-6961 |
Wales 在 England 的 西方 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64824-64824 |
|