|
|
  Coulomb
|
|
|
| appearance as argument number 1 |
|
|
| s__documentation(s__Coulomb,s__ChineseLanguage,'"这是国际单位制量度电量单位，符号：C。库仑是当电路载有1 Ampere 穩定電流时，在1 SecondDuration 秒内通过导线横截面积的电量。Coulomb = s*A."')
|
chinese_format.kif 2540-2541 | |
| s__documentation(s__Coulomb,s__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 6707-6710 | |
| s__instance(s__Coulomb,s__CompositeUnitOfMeasure) s__instance(s__CompositeUnitOfMeasure,s__Class)
|
Merge.kif 6704-6704 | Coulomb is an instance of CompositeUnitOfMeasure |
| s__instance(s__Coulomb,s__SystemeInternationalUnit) s__instance(s__SystemeInternationalUnit,s__Class)
|
Merge.kif 6705-6705 | Coulomb is an instance of systeme international unit |
| appearance as argument number 2 |
|
|
| s__termFormat(s__ChineseLanguage,s__Coulomb,'"库仑"')
|
domainEnglishFormat.kif 17505-17505 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__Coulomb,'"庫侖"')
|
domainEnglishFormat.kif 17504-17504 | |
| s__termFormat(s__EnglishLanguage,s__Coulomb,'"coulomb"')
|
domainEnglishFormat.kif 17503-17503 |
| antecedent |
|
|
| ( ! [V__NUMBER,V__QUANTITY] : (((s__instance(V__NUMBER,s__RealNumber) & s__instance(V__QUANTITY,s__PhysicalQuantity)) => (((V__QUANTITY = s__MeasureFn(V__NUMBER,s__Coulomb)) => (s__instance(V__QUANTITY,s__TimeDependentQuantity))))) ) )
|
Merge.kif 6712-6714 |
|
|
|
|