chanceryAddressInArea |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4737-4740 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4733-4733 | O argumento numero 1 de chanceryAddressInArea e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4734-4734 | O argumento numero 2 de chanceryAddressInArea e' uma instancia de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4735-4735 | O argumento numero 3 de chanceryAddressInArea e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4732-4732 | chanceryAddressInArea e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 412-412 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 411-411 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 410-410 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14094-14094 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14093-14093 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14092-14092 |