Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - externalDebt
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 externalDebt の数値 1 引数は 地政学的地域instance では %n
(domain externalDebt 2 CurrencyMeasure) Economy.kif 2768-2768 externalDebt の数値 2 引数は 通貨測定instance では %n
(instance externalDebt BinaryPredicate) Economy.kif 2766-2766 externalDebt2進述語instance では %n

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 externalDebtInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 時間間隔instance では %n externalDebt 地政学的地域 and 通貨測定 時間位置during holds %n{ない}


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