| appearance as argument number 1 |
|
| (documentation annualElectricityImport EnglishLanguage "(annualElectricityImport ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA imported the total ?AMOUNT of electricity (measured in KilowattHours) annually.") | Economy.kif 2201-2204 | |
| (domain annualElectricityImport 1 GeopoliticalArea) | Economy.kif 2198-2198 | domain annualElectricityImport, 1 and GeopoliticalArea |
| (domain annualElectricityImport 2 PhysicalQuantity) | Economy.kif 2199-2199 | domain annualElectricityImport, 2 and PhysicalQuantity |
| (instance annualElectricityImport BinaryPredicate) | Economy.kif 2197-2197 | instance annualElectricityImport and BinaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage annualElectricityImport "%2 %n 是 %1 annual 的电力输入") | domainEnglishFormat.kif 160-160 | |
| (format ChineseTraditionalLanguage annualElectricityImport "%2 %n 是 %1 annual 的電力輸入") | domainEnglishFormat.kif 159-159 | |
| (format EnglishLanguage annualElectricityImport "%2 is %n an annual electricity import of %1") | domainEnglishFormat.kif 158-158 | |
| (termFormat ChineseLanguage annualElectricityImport "年度电力进口") | domainEnglishFormat.kif 7675-7675 | termFormat ChineseLanguage, annualElectricityImport and "年度电力进口" |
| (termFormat ChineseTraditionalLanguage annualElectricityImport "年度電力進口") | domainEnglishFormat.kif 7674-7674 | termFormat ChineseTraditionalLanguage, annualElectricityImport and "年度電力進口" |
| (termFormat EnglishLanguage annualElectricityImport "annual electricity import") | domainEnglishFormat.kif 7673-7673 | termFormat EnglishLanguage, annualElectricityImport and "annual electricity import" |
| antecedent |
|
|
| (=> (and (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2217-2224 |
| consequent |
|
|
| (=> (and (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT))))) |
Economy.kif 2206-2215 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners