| appearance as argument number 1 |
|
| (documentation totalGDPInPeriod EnglishLanguage "(totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD) means that the value of all final goods and services produced within the GeopoliticalArea ?AREA is ?AMOUNT in the period indicated by ?PERIOD, measured in U.S. dollars calculated on a purchasing power parity basis. (See PPPBasedEconomicValuation.) This is the Gross Domestic Product for ?AREA for a specified period.") | Economy.kif 994-999 | |
| (domain totalGDPInPeriod 1 GeopoliticalArea) | Economy.kif 990-990 | |
| (domain totalGDPInPeriod 2 CurrencyMeasure) | Economy.kif 991-991 | |
| (domainSubclass totalGDPInPeriod 3 TimeInterval) | Economy.kif 992-992 | |
| (instance totalGDPInPeriod PPPBasedEconomicValuation) | Economy.kif 988-988 | |
| (instance totalGDPInPeriod TernaryPredicate) | Economy.kif 989-989 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage totalGDPInPeriod "%1 %n 是 对于 %3 在 周期 %2 的 totalGDP ") | domainEnglishFormat.kif 2503-2503 | |
| (format ChineseTraditionalLanguage totalGDPInPeriod "%1 %n 是 對於 %3 在 週期 %2 的 totalGDP ") | domainEnglishFormat.kif 2502-2502 | |
| (format EnglishLanguage totalGDPInPeriod "%1 is %n totalGDP in period %2 for %3") | domainEnglishFormat.kif 2501-2501 | |
| (termFormat ChineseLanguage totalGDPInPeriod "期间的国内生产GDP总值") | domainEnglishFormat.kif 58599-58599 | |
| (termFormat ChineseTraditionalLanguage totalGDPInPeriod "期間的國內生產GDP總值") | domainEnglishFormat.kif 58598-58598 | |
| (termFormat EnglishLanguage totalGDPInPeriod "totalGDP in period") | domainEnglishFormat.kif 58597-58597 |
| antecedent |
|
|
| (<=> (totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (totalGDP ?AREA ?AMOUNT))))) |
Economy.kif 1012-1017 | |
| (=> (and (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) (totalGDPInPeriod ?AREA (MeasureFn ?GDPAMOUNT ?CUNIT) ?PERIOD) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?GDPAMOUNT))) (sectorValueOfGDPInPeriod ?AREA ?SECTOR (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)) |
Economy.kif 1198-1206 |
|
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 3.0 is open source software produced by Articulate Software and its partners