| appearance as argument number 1 |
|
| (documentation exportTotalInPeriod EnglishLanguage "(exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD) means that the total value of exports from the GeopoliticalArea ?AREA is ?AMOUNT (in UnitedStatesDollars) for the TimeInterval indicated by ?PERIOD. Export value is calculated on a Free on Board (F.O.B.) basis.") | Economy.kif 2261-2265 | |
| (domain exportTotalInPeriod 1 GeopoliticalArea) | Economy.kif 2257-2257 | exportTotalInPeriod の数値 1 引数は 地政学的地域 の instance では %n |
| (domain exportTotalInPeriod 2 CurrencyMeasure) | Economy.kif 2258-2258 | exportTotalInPeriod の数値 2 引数は 通貨測定 の instance では %n |
| (domainSubclass exportTotalInPeriod 3 TimeInterval) | Economy.kif 2259-2259 | exportTotalInPeriod の数値 3 引数は 時間間隔 のsubclass では %n |
| (instance exportTotalInPeriod TernaryPredicate) | Economy.kif 2256-2256 | exportTotalInPeriod は 3進述語 の instance では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage exportTotalInPeriod "%1 %n{不} 对于 %3 在周期 %2 export 全部") | domainEnglishFormat.kif 975-975 | |
| (format ChineseTraditionalLanguage exportTotalInPeriod "%1 %n{不} 對於 %3 在週期 %2 export 全部") | domainEnglishFormat.kif 974-974 | |
| (format EnglishLanguage exportTotalInPeriod "%1 %n{doesn't} export total in period %2 for %3") | domainEnglishFormat.kif 973-973 | |
| (termFormat ChineseLanguage exportTotalInPeriod "期间出口总额") | domainEnglishFormat.kif 22936-22936 | |
| (termFormat ChineseTraditionalLanguage exportTotalInPeriod "期間出口總額") | domainEnglishFormat.kif 22935-22935 | |
| (termFormat EnglishLanguage exportTotalInPeriod "export total in period") | domainEnglishFormat.kif 22934-22934 |
| antecedent |
|
|
| (=> (and (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT))))) |
Economy.kif 2277-2286 |
| consequent |
|
|
| (=> (and (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2288-2295 |
|
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