annualElectricityImport |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2197-2200 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2194-2194 | O argumento numero 1 de annualElectricityImport e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2195-2195 | O argumento numero 2 de annualElectricityImport e' uma instancia de Quantidade Fisica |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2193-2193 | annualElectricityImport e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 160-160 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 159-159 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 158-158 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7668-7668 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7667-7667 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7666-7666 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2213-2220 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2202-2211 |
|