TreeView Knowledge Base Browser

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 有点时距若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和 externalDebt 那个地缘政治区域 and 那个货币测量在那个时间位置 holdsDuring

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

KB Term:			Term intersection

English Word: