| appearance as argument number 1 |
|
| (documentation electricityExportInPeriod EnglishLanguage "(electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD) means that the GeopoliticalArea ?AREA exported the total ?AMOUNT of electricity (measured in KilowattHours) during the TimeInterval indicated by ?PERIOD.") | Economy.kif 2381-2385 | |
| (domain electricityExportInPeriod 1 GeopoliticalArea) | Economy.kif 2377-2377 | electricityExportInPeriod の数値 1 引数は 地政学的地域 の instance では |
| (domain electricityExportInPeriod 2 PhysicalQuantity) | Economy.kif 2378-2378 | electricityExportInPeriod の数値 2 引数は 物理量 の instance では |
| (domainSubclass electricityExportInPeriod 3 TimeInterval) | Economy.kif 2379-2379 | electricityExportInPeriod の数値 3 引数は 時間間隔 のsubclass では |
| (instance electricityExportInPeriod TernaryPredicate) | Economy.kif 2376-2376 | electricityExportInPeriod は 3進述語 の instance では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage electricityExportInPeriod "%1 %p{是} %n{不是} 对于 %3 在周期 %2 的 electricity 输出") | domainEnglishFormat.kif 864-864 | |
| (format ChineseTraditionalLanguage electricityExportInPeriod "%1 %p{是} %n{不是} 對於 %3 在週期 %2 的 electricity 輸出") | domainEnglishFormat.kif 863-863 | |
| (format EnglishLanguage electricityExportInPeriod "%1 %p{is} %n{isn't} electricity export in period %2 for %3") | domainEnglishFormat.kif 862-862 | |
| (termFormat ChineseLanguage electricityExportInPeriod "电力出口期间") | domainEnglishFormat.kif 21603-21603 | |
| (termFormat ChineseTraditionalLanguage electricityExportInPeriod "電力出口期間") | domainEnglishFormat.kif 21602-21602 | |
| (termFormat EnglishLanguage electricityExportInPeriod "electricity export in period") | domainEnglishFormat.kif 21601-21601 |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (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 |
|
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