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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Coulomb
Coulomb(coulomb)C, ampere-second, 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 6915-6918
(documentation Coulomb JapaneseLanguage "SI電荷測定。シンボル:C。これは、各 SecondDuration 中に 1Ampere の電流で導体の断面を通って輸送される電荷の量である。Coulomb = s*A。") japanese_format.kif 1241-1242
(instance Coulomb CompositeUnitOfMeasure) Merge.kif 6912-6912 Coulomb is an instance of composite unit of measure
(instance Coulomb SystemeInternationalUnit) Merge.kif 6913-6913 Coulomb is an instance of systeme international unit

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


(termFormat ChineseLanguage Coulomb "库仑") domainEnglishFormat.kif 17514-17514
(termFormat ChineseTraditionalLanguage Coulomb "庫侖") domainEnglishFormat.kif 17513-17513
(termFormat EnglishLanguage Coulomb "coulomb") domainEnglishFormat.kif 17512-17512

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


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


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