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 5159-5159 |
CosworthCorp 的 headquarters 是在 England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6952-6952 |
空間的符合 蘇格蘭 and England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6962-6962 |
空間的符合 Wales and England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6954-6954 |
方位 北愛爾蘭, England and 西北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6951-6951 |
方位 蘇格蘭, England and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6961-6961 |
方位 Wales, England and 西方 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64824-64824 |
|