externalDebt |
appearance as argument number 1 |
(documentation externalDebt EnglishLanguage "(externalDebt ?COUNTRY ?AMOUNT) means that the GeopoliticalArea ?COUNTRY owes the total sum ?AMOUNT of debt (public and private) to nonresidents. The amount is valued in U.S. dollars but may be repayable in foreign currency, goods, or services.") | Economy.kif 2770-2773 | |
(domain externalDebt 1 GeopoliticalArea) | Economy.kif 2767-2767 | 外债 的 1 数量 是 地缘政治区域 的 instance |
(domain externalDebt 2 CurrencyMeasure) | Economy.kif 2768-2768 | 外债 的 2 数量 是 货币测量 的 instance |
(instance externalDebt BinaryPredicate) | Economy.kif 2766-2766 | 外债 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage externalDebt "%2 %n 是 %1 的 external 债务") | domainEnglishFormat.kif 983-983 | |
(format ChineseTraditionalLanguage externalDebt "%2 %n 是 %1 的 external 債務") | domainEnglishFormat.kif 982-982 | |
(format EnglishLanguage externalDebt "%2 is %n an external debt of %1") | domainEnglishFormat.kif 981-981 | |
(termFormat ChineseLanguage externalDebt "外债") | domainEnglishFormat.kif 23008-23008 | |
(termFormat ChineseTraditionalLanguage externalDebt "外債") | domainEnglishFormat.kif 23007-23007 | |
(termFormat EnglishLanguage externalDebt "external debt") | domainEnglishFormat.kif 23006-23006 |
consequent |
(<=> (externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (externalDebt ?COUNTRY ?AMOUNT))))) |
Economy.kif 2775-2780 | 地缘政治区域 是 对于 有点 时距 在周期 货币测量 的 external 债务 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 external 债务 在 那个 时间位置 holdsDuring |