| 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 2437-2440 | |
| (domain annualElectricityImport 1 GeopoliticalArea) | Economy.kif 2434-2434 | annualElectricityImport の数値 1 引数は 地政学的地域 の instance では |
| (domain annualElectricityImport 2 PhysicalQuantity) | Economy.kif 2435-2435 | annualElectricityImport の数値 2 引数は 物理量 の instance では |
| (instance annualElectricityImport BinaryPredicate) | Economy.kif 2433-2433 | annualElectricityImport は 2進述語 の instance では |
| 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 7669-7669 | |
| (termFormat ChineseTraditionalLanguage annualElectricityImport "年度電力進口") | domainEnglishFormat.kif 7668-7668 | |
| (termFormat EnglishLanguage annualElectricityImport "annual electricity import") | domainEnglishFormat.kif 7667-7667 |
| antecedent |
|
|
| (=> (and (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2453-2460 |
| 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 2442-2451 |
|
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