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

Formal Language: 



KB Term:  Term intersection
English Word: 

  externalDebtInPeriod

Sigma KEE - externalDebtInPeriod
externalDebtInPeriod

appearance as argument number 1
-------------------------


(documentation externalDebtInPeriod EnglishLanguage "(externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD) means that the GeopoliticalArea ?COUNTRY owes the total sum ?AMOUNT of debt (public and private) to nonresidents during the TimeInterval indicated by ?PERIOD. The amount is valued in U.S. dollars but may be repayable in foreign currency, goods, or services.") Economy.kif 2762-2767
(domain externalDebtInPeriod 1 GeopoliticalArea) Economy.kif 2758-2758 externalDebtInPeriod 的 1 数量 是 地缘政治区域instance
(domain externalDebtInPeriod 2 CurrencyMeasure) Economy.kif 2759-2759 externalDebtInPeriod 的 2 数量 是 货币测量instance
(domainSubclass externalDebtInPeriod 3 TimeInterval) Economy.kif 2760-2760 externalDebtInPeriod 的 3 数量 是 时距subclass
(instance externalDebtInPeriod TernaryPredicate) Economy.kif 2757-2757 externalDebtInPeriod三元谓语instance

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


(format EnglishLanguage externalDebtInPeriod "%1 %n{doesn't} external debt in period %2 for %3") domainEnglishFormat.kif 255-255
(termFormat EnglishLanguage externalDebtInPeriod "external debt in period") domainEnglishFormat.kif 4257-4257 termFormat EnglishLanguage, externalDebtInPeriod and "external debt in period"

antecedent
-------------------------


(<=>
    (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