AppraisalOfJusticeOfTreatment
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6957-6959 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6956-6956 | Wales e' uma instancia de Area Geografica |
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 6961-6961 | Wales e' West em relacao a England |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6971-6971 | primaryGeopoliticalSubdivision Wales and UnitedKingdom |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6966-6966 | Ireland e' West em relacao a Wales |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6963-6963 | NorthernIreland e' Northwest em relacao a Wales |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6964-6964 | Scotland e' North em relacao a Wales |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65720-65720 |