| appearance as argument number 1 |
|
| (documentation annualElectricityExport EnglishLanguage "(annualElectricityExport ?AREA ?AMOUNT) means that the GeopoliticalArea ?AREA exported the total ?AMOUNT of electricity (measured in KilowattHours) annually.") | Economy.kif 2391-2394 | |
| (domain annualElectricityExport 1 GeopoliticalArea) | Economy.kif 2388-2388 | |
| (domain annualElectricityExport 2 PhysicalQuantity) | Economy.kif 2389-2389 | |
| (instance annualElectricityExport BinaryPredicate) | Economy.kif 2387-2387 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage annualElectricityExport "%2 %n 是 %1 的 annual 电力输出") | domainEnglishFormat.kif 156-156 | |
| (format ChineseTraditionalLanguage annualElectricityExport "%2 %n 是 %1 的 annual 電力輸出") | domainEnglishFormat.kif 155-155 | |
| (format EnglishLanguage annualElectricityExport "%2 is %n an annual electricity export of %1") | domainEnglishFormat.kif 154-154 | |
| (termFormat ChineseLanguage annualElectricityExport "年度电力出口") | domainEnglishFormat.kif 7669-7669 | |
| (termFormat ChineseTraditionalLanguage annualElectricityExport "年度電力出口") | domainEnglishFormat.kif 7668-7668 | |
| (termFormat EnglishLanguage annualElectricityExport "annual electricity export") | domainEnglishFormat.kif 7667-7667 |
| antecedent |
|
|
| (=> (and (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2407-2414 |
| consequent |
|
|
| (=> (and (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT))))) |
Economy.kif 2396-2405 |
|
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