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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Coulomb
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 6584-6587
(instance Coulomb CompositeUnitOfMeasure) Merge.kif 6581-6581 instance Coulomb and CompositeUnitOfMeasure
(instance Coulomb SystemeInternationalUnit) Merge.kif 6582-6582 instance Coulomb and SystemeInternationalUnit

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Coulomb "库仑") domainEnglishFormat.kif 17437-17437
(termFormat ChineseTraditionalLanguage Coulomb "庫侖") domainEnglishFormat.kif 17436-17436
(termFormat EnglishLanguage Coulomb "coulomb") domainEnglishFormat.kif 17435-17435

antecedent
-------------------------


(=>
    (equal ?QUANTITY
        (MeasureFn ?NUMBER Coulomb))
    (instance ?QUANTITY TimeDependentQuantity))
Merge.kif 6589-6591


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