No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4805-4805 |
The headquarters of AstraZeneca is in England |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5159-5159 |
The headquarters of Cosworth Corporation is in England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6952-6952 |
Scotland meets England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6962-6962 |
Wales meets England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6954-6954 |
Northern ireland is northwest to England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6951-6951 |
Scotland is north to England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6961-6961 |
Wales is west to England |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64824-64824 |
|