|
|
  England
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6947-6949 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6946-6946 | England e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6970-6970 | primaryGeopoliticalSubdivision England and UnitedKingdom |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4805-4805 | headquartersOfOrganization AstraZeneca and England |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5167-5167 | headquartersOfOrganization CosworthCorp and England |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6952-6952 | Scotland encontra England |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6962-6962 | Wales encontra England |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6954-6954 | NorthernIreland e' Northwest em relacao a England |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6951-6951 | Scotland e' North em relacao a England |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6961-6961 | Wales e' West em relacao a England |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64824-64824 |
|
|
|