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 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


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 3.0 is open source software produced by Articulate Software and its partners