Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Coulomb

Sigma KEE - Coulomb
Coulomb(coulomb)C, ampere-second, 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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