| appearance as argument number 1 |
|
| (documentation sectorCompositionOfGDPInPeriod EnglishLanguage "(sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) means that in the GeopoliticalArea ?AREA, the economic sector ?SECTOR contributes the amount ?FRACTION to the Gross National Product during the TimeInterval indicated by ?PERIOD.") | Economy.kif 1152-1156 | |
| (domain sectorCompositionOfGDPInPeriod 1 GeopoliticalArea) | Economy.kif 1147-1147 | |
| (domain sectorCompositionOfGDPInPeriod 2 IndustryAttribute) | Economy.kif 1148-1148 | |
| (domain sectorCompositionOfGDPInPeriod 3 RealNumber) | Economy.kif 1149-1149 | |
| (domainSubclass sectorCompositionOfGDPInPeriod 4 TimeInterval) | Economy.kif 1150-1150 | |
| (instance sectorCompositionOfGDPInPeriod PPPBasedEconomicValuation) | Economy.kif 1145-1145 | |
| (instance sectorCompositionOfGDPInPeriod QuaternaryPredicate) | Economy.kif 1146-1146 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage sectorCompositionOfGDPInPeriod "%1 %n 是 对于 %3 和 %4 在 周期 %2 的 GDP sector 组成") | domainEnglishFormat.kif 2235-2235 | |
| (format ChineseTraditionalLanguage sectorCompositionOfGDPInPeriod "%1 %n 是 對於 %3 和 %4 在 週期 %2 的 GDP sector 組成") | domainEnglishFormat.kif 2234-2234 | |
| (format EnglishLanguage sectorCompositionOfGDPInPeriod "%1 is %n the sector composition of GDP in period %2 for %3 with %4") | domainEnglishFormat.kif 2233-2233 | |
| (termFormat ChineseLanguage sectorCompositionOfGDPInPeriod "期间GDP的部门构成") | domainEnglishFormat.kif 51888-51888 | |
| (termFormat ChineseTraditionalLanguage sectorCompositionOfGDPInPeriod "期間GDP的部門構成") | domainEnglishFormat.kif 51887-51887 | |
| (termFormat EnglishLanguage sectorCompositionOfGDPInPeriod "sector composition of GDP in period") | domainEnglishFormat.kif 51886-51886 |
| antecedent |
|
|
| (<=> (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1177-1182 | |
| (=> (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 | |
| (=> (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 1158-1160 |
|
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