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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - economicAidDonated
economicAidDonated

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


(documentation economicAidDonated EnglishLanguage "(economicAidDonated ?AGENT ?AMOUNT) means that the GeopoliticalArea ?AREA donated ?AMOUNT of aid (valued in U.S. dollars) to developing countries and multilateral organizations. This figure covers 'net official development assistance' (ODA), which is net financial assistance from nations belonging to the OrganizationForEconomicCooperationAndDevelopment (OECD), with the main goal of promoting economic development and welfare. Such aid contains a grant element of at least 25%. This statistic does not cover private flows of assistance or other official flows (OOF).") Economy.kif 2811-2820
(domain economicAidDonated 1 GeopoliticalArea) Economy.kif 2808-2808 The number 1 argument of economic aid donated is an instance of geopolitical area
(domain economicAidDonated 2 CurrencyMeasure) Economy.kif 2809-2809 The number 2 argument of economic aid donated is an instance of currency measure
(instance economicAidDonated BinaryPredicate) Economy.kif 2807-2807 economic aid donated is an instance of binary predicate

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


(format EnglishLanguage economicAidDonated "%2 is %n an economic aid donated of %1") domainEnglishFormat.kif 212-212
(termFormat EnglishLanguage economicAidDonated "economic aid donated") domainEnglishFormat.kif 3931-3931 "economic aid donated" is the printable form of economic aid donated in english language

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


(<=>
    (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidDonated ?COUNTRY ?AMOUNT)))))
Economy.kif 2822-2827 A geopolitical area economic aid donated in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an economic aid donated of the geopolitical area holds during the time position


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



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