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 2770-2773
(domain externalDebt 1 GeopoliticalArea)	Economy.kif 2767-2767	Le nombre 1 argument de externalDebt est une instance de secteur g�opolitique
(domain externalDebt 2 CurrencyMeasure)	Economy.kif 2768-2768	Le nombre 2 argument de externalDebt est une instance de mesure de devise
(instance externalDebt BinaryPredicate)	Economy.kif 2766-2766	externalDebt est une instance de pr�dicat binaire

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 secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel externalDebt secteur g�opolitique and mesure de devise pendant position temporel

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

KB Term:			Term intersection

English Word: