capitalExpendituresOfAreaInPeriod |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1531-1536 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1527-1527 | Le nombre 1 argument de capitalExpendituresOfAreaInPeriod est une instance de secteur g�opolitique |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1528-1528 | Le nombre 2 argument de capitalExpendituresOfAreaInPeriod est une instance de mesure de devise |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1529-1529 | Le nombre 3 argument de capitalExpendituresOfAreaInPeriod est une sous-classe de interval temporel |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1526-1526 | capitalExpendituresOfAreaInPeriod est une instance de pr�dicat ternaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 364-364 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 363-363 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 362-362 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13092-13092 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13091-13091 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13090-13090 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1565-1570 | capitalExpendituresOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel capitalExpendituresOfArea secteur g�opolitique and mesure de devise pendant position temporel |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1538-1544 |