| appearance as argument number 1 |
|
| (documentation annualImportTotal EnglishLanguage "(annualImportTotal ?AREA ?AMOUNT) means that the total value of imports to the GeopoliticalArea ?AREA is ?AMOUNT (in UnitedStatesDollars) annually. Import value is calculated on a Cost, Insurance, and Freight (C.I.F.) or a Free on Board (F.O.B.) basis.") | Economy.kif 2577-2581 | |
| (domain annualImportTotal 1 GeopoliticalArea) | Economy.kif 2574-2574 | Le nombre 1 argument de annualImportTotal est une instance de secteur g�opolitique |
| (domain annualImportTotal 2 CurrencyMeasure) | Economy.kif 2575-2575 | Le nombre 2 argument de annualImportTotal est une instance de mesure de devise |
| (instance annualImportTotal BinaryPredicate) | Economy.kif 2573-2573 | annualImportTotal est une instance de pr�dicat binaire |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage annualImportTotal "%2 %n 是 %1 的 annual 总共输入") | domainEnglishFormat.kif 180-180 | |
| (format ChineseTraditionalLanguage annualImportTotal "%2 %n 是 %1 的 annual 總共輸入") | domainEnglishFormat.kif 179-179 | |
| (format EnglishLanguage annualImportTotal "%2 is %n an annual import total of %1") | domainEnglishFormat.kif 178-178 | |
| (termFormat ChineseLanguage annualImportTotal "年进口总额") | domainEnglishFormat.kif 7698-7698 | |
| (termFormat ChineseTraditionalLanguage annualImportTotal "年進口總額") | domainEnglishFormat.kif 7697-7697 | |
| (termFormat EnglishLanguage annualImportTotal "annual import total") | domainEnglishFormat.kif 7696-7696 |
| antecedent |
|
|
| (=> (and (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2594-2601 |
|
| consequent |
|
|
| (=> (and (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT))))) |
Economy.kif 2583-2592 |
|
|
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