| Coulomb | |
| appearance as argument number 1 |
|
|
| (documentation Coulomb ChineseLanguage "这是国际单位制量度电量单位，符号：C。库仑是当电路载有1 Ampere 穩定電流时，在1 SecondDuration 秒内通过导线横截面积的电量。Coulomb = s*A.") | chinese_format.kif 2540-2541 | |
| (documentation Coulomb EnglishLanguage "SI electric charge measure. Symbol: C. It is the quantity of electric charge transported through a cross section of a conductor in an electric circuit during each SecondDuration by a current of 1 Ampere. Coulomb = s*A.") | Merge.kif 6819-6822 | |
| (instance Coulomb CompositeUnitOfMeasure) | Merge.kif 6816-6816 | |
| (instance Coulomb SystemeInternationalUnit) | Merge.kif 6817-6817 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Coulomb "库仑") | domainEnglishFormat.kif 17505-17505 | |
| (termFormat ChineseTraditionalLanguage Coulomb "庫侖") | domainEnglishFormat.kif 17504-17504 | |
| (termFormat EnglishLanguage Coulomb "coulomb") | domainEnglishFormat.kif 17503-17503 |
| antecedent |
|
|
| (=> (equal ?QUANTITY (MeasureFn ?NUMBER Coulomb)) (instance ?QUANTITY TimeDependentQuantity)) |
Merge.kif 6824-6826 |
|
|
|