BorderFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 692-693 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 688-688 | Le nombre 1 argument de BorderFn est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 689-689 | Le nombre 2 argument de BorderFn est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 686-686 | BorderFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 690-690 | Le domaine de BorderFn est une instance de secteur g�ographique |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 324-324 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 323-323 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 322-322 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 687-687 | BorderFn s'appele nom "border" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6176-6176 | ShorelineFn est une sous-relation de BorderFn |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11651-11651 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11650-11650 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11649-11649 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 705-710 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 695-697 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 712-714 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 705-710 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 699-703 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 742-750 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 758-760 |