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 3107-3110
(domain externalDebt 1 GeopoliticalArea)	Economy.kif 3104-3104	外债的 1 数量是地缘政治区域的 instance
(domain externalDebt 2 CurrencyMeasure)	Economy.kif 3105-3105	外债的 2 数量是货币测量的 instance
(instance externalDebt BinaryPredicate)	Economy.kif 3103-3103	外债是二元谓语的 instance

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 23011-23011
(termFormat ChineseTraditionalLanguage externalDebt "外債")	domainEnglishFormat.kif 23010-23010
(termFormat EnglishLanguage externalDebt "external debt")	domainEnglishFormat.kif 23009-23009

consequent

(<=>
    (externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (externalDebt ?COUNTRY ?AMOUNT)))))

Economy.kif 3112-3117

地缘政治区域是对于有点时距在周期货币测量的 external 债务若且唯若有存在时间位置这样那个时间位置是有点时距的 instance 和那个货币测量是那个地缘政治区域的 external 债务在那个时间位置 holdsDuring

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

KB Term:			Term intersection

English Word: