chanceryMailingAddressInArea |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4747-4751 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4743-4743 | O argumento numero 1 de chanceryMailingAddressInArea e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4744-4744 | O argumento numero 2 de chanceryMailingAddressInArea e' uma instancia de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4745-4745 | O argumento numero 3 de chanceryMailingAddressInArea e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4742-4742 | chanceryMailingAddressInArea e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 420-420 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 419-419 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 418-418 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14106-14106 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14105-14105 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14104-14104 |