annualRevenuesOfArea |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1483-1486 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1480-1480 | O argumento numero 1 de annualRevenuesOfArea e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1481-1481 | O argumento numero 2 de annualRevenuesOfArea e' uma instancia de Medida de Divisa |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1479-1479 | annualRevenuesOfArea e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 184-184 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 183-183 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 182-182 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7704-7704 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7703-7703 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7702-7702 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1488-1493 | annualRevenuesOfAreaInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualRevenuesOfArea Area Geopolitica and Medida de Divisa vale durante Posicao Temporal |