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


KB Term:  Term intersection
English Word: 

Sigma KEE - Farad
Farad(farad)
F, farad

appearance as argument number 1
-------------------------


(instance Farad CompositeUnitOfMeasure) Merge.kif 7056-7056 Farad is an instance of composite unit of measure
(instance Farad SystemeInternationalUnit) Merge.kif 7057-7057 Farad is an instance of systeme international unit
(documentation Farad EnglishLanguage "SI capacitance measure. Symbol: F. It is the capacitance of a capacitator between the plates of which there appears a difference of potential of 1 Volt when it is charged by a quantity of electricity equal to 1 Coulomb. Farad = C/ V = m^(-2)*kg(-1)*s^4*A^2.") Merge.kif 7059-7063 Farad is an instance of systeme international unit
(externalImage Farad "http://upload.wikimedia.org/wikipedia/commons/1/1d/ OneFarad5.5Velectrolyticcapacitor.jpg") pictureList.kif 6001-6001 Farad is an instance of systeme international unit
(externalImage Farad "http://upload.wikimedia.org/wikipedia/commons/c/c8/ Capacitors_Various.jpg") pictureList.kif 6501-6501 Farad is an instance of systeme international unit

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


(termFormat EnglishLanguage Farad "farad") domainEnglishFormat.kif 23254-23254
(termFormat ChineseTraditionalLanguage Farad "法拉") domainEnglishFormat.kif 23255-23255
(termFormat ChineseLanguage Farad "法拉") domainEnglishFormat.kif 23256-23256


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