Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance Coulomb CompositeUnitOfMeasure) Merge.kif 7031-7031 Coulomb is an instance of composite unit of measure
(instance Coulomb SystemeInternationalUnit) Merge.kif 7032-7032 Coulomb is an instance of systeme international unit
(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 7034-7037 Coulomb is an instance of systeme international unit

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


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

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


(=>
    (equal ?QUANTITY
        (MeasureFn ?NUMBER Coulomb))
    (instance ?QUANTITY TimeDependentQuantity))		 Merge.kif 7039-7041 If equal X and Y coulomb(s), then X is an instance of time dependent quantity


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners