| appearance as argument number 1 |
|
| (documentation inflationRateOfConsumerPricesInPeriod EnglishLanguage "(inflationRateOfConsumerPricesInPeriod ?AREA ?FRACTION ?PERIOD) means that in the GeopoliticalArea ?AREA, the annual change in consumer prices was ?FRACTION, for the TimeInterval indicated by ?PERIOD, compared with prices from the prior period.") | Economy.kif 1335-1339 | |
| (domain inflationRateOfConsumerPricesInPeriod 1 GeopoliticalArea) | Economy.kif 1331-1331 | 期间消费价格的通胀率 的 1 数量 是 地缘政治区域 的 instance |
| (domain inflationRateOfConsumerPricesInPeriod 2 RealNumber) | Economy.kif 1332-1332 | 期间消费价格的通胀率 的 2 数量 是 实数 的 instance |
| (domainSubclass inflationRateOfConsumerPricesInPeriod 3 TimeInterval) | Economy.kif 1333-1333 | 期间消费价格的通胀率 的 3 数量 是 时距 的 subclass |
| (instance inflationRateOfConsumerPricesInPeriod TernaryPredicate) | Economy.kif 1330-1330 | 期间消费价格的通胀率 是 三元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage inflationRateOfConsumerPricesInPeriod "%1 %n 是 对于 %3 在周期 %2 的顾客价格的 inflation 速率") | domainEnglishFormat.kif 1341-1341 | |
| (format ChineseTraditionalLanguage inflationRateOfConsumerPricesInPeriod "%1 %n 是 對於 %3 在週期 %2 的顧客價格的 inflation 速率") | domainEnglishFormat.kif 1340-1340 | |
| (format EnglishLanguage inflationRateOfConsumerPricesInPeriod "%1 is %n inflation rate of consumer prices in period %2 for %3") | domainEnglishFormat.kif 1339-1339 | |
| (termFormat ChineseLanguage inflationRateOfConsumerPricesInPeriod "期间消费价格的通胀率") | domainEnglishFormat.kif 30013-30013 | |
| (termFormat ChineseTraditionalLanguage inflationRateOfConsumerPricesInPeriod "期間消費價格的通脹率") | domainEnglishFormat.kif 30012-30012 | |
| (termFormat EnglishLanguage inflationRateOfConsumerPricesInPeriod "inflation rate of consumer prices in period") | domainEnglishFormat.kif 30011-30011 |
| antecedent |
|
|
| (=> (inflationRateOfConsumerPricesInPeriod ?AREA ?FRACTION ?PERIOD) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 1341-1343 |
|
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