| 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 6916-6919 | |
| (documentation Coulomb JapaneseLanguage "SI電荷測定。シンボル:C。これは、各 SecondDuration 中に １Ampere の電流で導体の断面を通って輸送される電荷の量である。Coulomb = s*A。") | japanese_format.kif 1241-1242 | |
| (instance Coulomb CompositeUnitOfMeasure) | Merge.kif 6913-6913 | |
| (instance Coulomb SystemeInternationalUnit) | Merge.kif 6914-6914 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Coulomb "库仑") | domainEnglishFormat.kif 17525-17525 | |
| (termFormat ChineseTraditionalLanguage Coulomb "庫侖") | domainEnglishFormat.kif 17524-17524 | |
| (termFormat EnglishLanguage Coulomb "coulomb") | domainEnglishFormat.kif 17523-17523 |
| antecedent |
|
|
| (=> (equal ?QUANTITY (MeasureFn ?NUMBER Coulomb)) (instance ?QUANTITY TimeDependentQuantity)) |
Merge.kif 6921-6923 |
|
|
|