| 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 2980-2983 | |
| (domain externalDebt 1 GeopoliticalArea) | Economy.kif 2977-2977 | The number 1 argument of external debt is an instance of geopolitical area |
| (domain externalDebt 2 CurrencyMeasure) | Economy.kif 2978-2978 | The number 2 argument of external debt is an instance of currency measure |
| (instance externalDebt BinaryPredicate) | Economy.kif 2976-2976 | external debt is an instance of binary predicate |
| 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 23022-23022 | |
| (termFormat ChineseTraditionalLanguage externalDebt "外債") | domainEnglishFormat.kif 23021-23021 | |
| (termFormat EnglishLanguage externalDebt "external debt") | domainEnglishFormat.kif 23020-23020 |
| consequent |
|
|
| (<=> (externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (externalDebt ?COUNTRY ?AMOUNT))))) |
Economy.kif 2985-2990 | A geopolitical area is external debt in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an external debt of the geopolitical area holds during the time position |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners