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 5803-5804
(externalImage SystemeInternationalUnit "http://upload.wikimedia.org/wikipedia/ en/ 2/ 2b/ SI_Brochure_Cover.jpg") pictureList.kif 8751-8751
(subclass SystemeInternationalUnit UnitOfMeasure) Merge.kif 5801-5801

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


(instance Ampere SystemeInternationalUnit) Merge.kif 6304-6304
(instance Becquerel SystemeInternationalUnit) Merge.kif 6624-6624
(instance Candela SystemeInternationalUnit) Merge.kif 6343-6343
(instance CelsiusDegree SystemeInternationalUnit) Merge.kif 6585-6585
(instance Coulomb SystemeInternationalUnit) Merge.kif 6496-6496
(instance Farad SystemeInternationalUnit) Merge.kif 6521-6521
(instance Gram SystemeInternationalUnit) Merge.kif 6285-6285
(instance Gray SystemeInternationalUnit) Merge.kif 6638-6638
(instance Henry SystemeInternationalUnit) Merge.kif 6574-6574
(instance Hertz SystemeInternationalUnit) Merge.kif 6436-6436
(instance Joule SystemeInternationalUnit) Merge.kif 6463-6463
(instance KelvinDegree SystemeInternationalUnit) Merge.kif 6316-6316
(instance Kilogram SystemeInternationalUnit) Merge.kif 6853-6853
(instance Lumen SystemeInternationalUnit) Merge.kif 6602-6602
(instance Lux SystemeInternationalUnit) Merge.kif 6612-6612
(instance Meter SystemeInternationalUnit) Merge.kif 6275-6275
(instance Mole SystemeInternationalUnit) Merge.kif 6330-6330
(instance Newton SystemeInternationalUnit) Merge.kif 6445-6445
(instance Ohm SystemeInternationalUnit) Merge.kif 6532-6532
(instance Pascal SystemeInternationalUnit) Merge.kif 6454-6454
(instance Radian SystemeInternationalUnit) Merge.kif 6394-6394
(instance SecondDuration SystemeInternationalUnit) Merge.kif 6293-6293
(instance Siemens SystemeInternationalUnit) Merge.kif 6544-6544
(instance Sievert SystemeInternationalUnit) Merge.kif 6649-6649
(instance Steradian SystemeInternationalUnit) Merge.kif 6405-6405

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners