postAddressText |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24910-24913 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24908-24908 | Le nombre 1 argument de postAddressText est une instance de PostalAddressText |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24909-24909 | Le nombre 2 argument de postAddressText est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24906-24906 | postAddressText est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24907-24907 | postAddressText est une instance de pr�dicat binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4146-4146 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4145-4145 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4144-4144 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65904-65904 |