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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SystemeInternationalUnit
SystemeInternationalUnit

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


(documentation SystemeInternationalUnit ChineseLanguage "这是一个国际单位制的 Class。") chinese_format.kif 2402-2402
(documentation SystemeInternationalUnit EnglishLanguage "The Class of Systeme International (SI) units.") Merge.kif 6234-6235
(documentation SystemeInternationalUnit JapaneseLanguage "システム・インターナショナル (SI) ユニットの Class。") japanese_format.kif 1084-1085
(externalImage SystemeInternationalUnit "http://upload.wikimedia.org/wikipedia/ en/ 2/ 2b/ SI_Brochure_Cover.jpg") pictureList.kif 8745-8745
(subclass SystemeInternationalUnit UnitOfMeasure) Merge.kif 6232-6232

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


(instance Ampere SystemeInternationalUnit) Merge.kif 6716-6716
(instance Becquerel SystemeInternationalUnit) Merge.kif 7036-7036
(instance Candela SystemeInternationalUnit) Merge.kif 6755-6755
(instance CelsiusDegree SystemeInternationalUnit) Merge.kif 6997-6997
(instance Coulomb SystemeInternationalUnit) Merge.kif 6908-6908
(instance Farad SystemeInternationalUnit) Merge.kif 6933-6933
(instance Gram SystemeInternationalUnit) Merge.kif 6696-6696
(instance Gray SystemeInternationalUnit) Merge.kif 7050-7050
(instance Henry SystemeInternationalUnit) Merge.kif 6986-6986
(instance Hertz SystemeInternationalUnit) Merge.kif 6848-6848
(instance Joule SystemeInternationalUnit) Merge.kif 6875-6875
(instance KelvinDegree SystemeInternationalUnit) Merge.kif 6728-6728
(instance Kilogram SystemeInternationalUnit) Merge.kif 7290-7290
(instance Lumen SystemeInternationalUnit) Merge.kif 7014-7014
(instance Lux SystemeInternationalUnit) Merge.kif 7024-7024
(instance Meter SystemeInternationalUnit) Merge.kif 6686-6686
(instance Mole SystemeInternationalUnit) Merge.kif 6742-6742
(instance Newton SystemeInternationalUnit) Merge.kif 6857-6857
(instance Ohm SystemeInternationalUnit) Merge.kif 6944-6944
(instance Pascal SystemeInternationalUnit) Merge.kif 6866-6866
(instance Radian SystemeInternationalUnit) Merge.kif 6806-6806
(instance SecondDuration SystemeInternationalUnit) Merge.kif 6705-6705
(instance Siemens SystemeInternationalUnit) Merge.kif 6956-6956
(instance Sievert SystemeInternationalUnit) Merge.kif 7061-7061
(instance Steradian SystemeInternationalUnit) Merge.kif 6817-6817

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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