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

Formal Language: 



KB Term:  Term intersection
English Word: 

  externalDebt

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 2773-2776
(domain externalDebt 1 GeopoliticalArea) Economy.kif 2770-2770 externalDebt 的 1 数量 是 地缘政治区域instance
(domain externalDebt 2 CurrencyMeasure) Economy.kif 2771-2771 externalDebt 的 2 数量 是 货币测量instance
(instance externalDebt BinaryPredicate) Economy.kif 2769-2769 externalDebt二元谓语instance

appearance as argument number 2
-------------------------


(format EnglishLanguage externalDebt "%2 is %n an external debt of %1") domainEnglishFormat.kif 254-254
(termFormat EnglishLanguage externalDebt "external debt") domainEnglishFormat.kif 4256-4256 termFormat EnglishLanguage, externalDebt and "external debt"

consequent
-------------------------


(<=>
    (externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (externalDebt ?COUNTRY ?AMOUNT)))))
Economy.kif 2778-2783 externalDebtInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceexternalDebt 那个 地缘政治区域 and 那个 货币测量那个 时间位置 holdsDuring


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners