| 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 2145-2149 | |
| (domain electricityExportInPeriod 1 GeopoliticalArea) | Economy.kif 2141-2141 | domain electricityExportInPeriod, 1 and GeopoliticalArea |
| (domain electricityExportInPeriod 2 PhysicalQuantity) | Economy.kif 2142-2142 | domain electricityExportInPeriod, 2 and PhysicalQuantity |
| (domainSubclass electricityExportInPeriod 3 TimeInterval) | Economy.kif 2143-2143 | domainSubclass electricityExportInPeriod, 3 and TimeInterval |
| (instance electricityExportInPeriod TernaryPredicate) | Economy.kif 2140-2140 | instance electricityExportInPeriod and TernaryPredicate |
| 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 21523-21523 | termFormat ChineseLanguage, electricityExportInPeriod and "电力出口期间" |
| (termFormat ChineseTraditionalLanguage electricityExportInPeriod "電力出口期間") | domainEnglishFormat.kif 21522-21522 | termFormat ChineseTraditionalLanguage, electricityExportInPeriod and "電力出口期間" |
| (termFormat EnglishLanguage electricityExportInPeriod "electricity export in period") | domainEnglishFormat.kif 21521-21521 | termFormat EnglishLanguage, electricityExportInPeriod and "electricity export in period" |
| 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 2160-2169 |
|
| consequent |
|
|
| (=> (and (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD)) |
Economy.kif 2171-2178 |
|
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