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

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


(instance Ampere SystemeInternationalUnit) Merge.kif 6390-6390 instance Ampere and SystemeInternationalUnit
(instance Becquerel SystemeInternationalUnit) Merge.kif 6710-6710 instance Becquerel and SystemeInternationalUnit
(instance Candela SystemeInternationalUnit) Merge.kif 6429-6429 instance Candela and SystemeInternationalUnit
(instance CelsiusDegree SystemeInternationalUnit) Merge.kif 6671-6671 instance CelsiusDegree and SystemeInternationalUnit
(instance Coulomb SystemeInternationalUnit) Merge.kif 6582-6582 instance Coulomb and SystemeInternationalUnit
(instance Farad SystemeInternationalUnit) Merge.kif 6607-6607 instance Farad and SystemeInternationalUnit
(instance Gram SystemeInternationalUnit) Merge.kif 6371-6371 instance Gram and SystemeInternationalUnit
(instance Gray SystemeInternationalUnit) Merge.kif 6724-6724 instance Gray and SystemeInternationalUnit
(instance Henry SystemeInternationalUnit) Merge.kif 6660-6660 instance Henry and SystemeInternationalUnit
(instance Hertz SystemeInternationalUnit) Merge.kif 6522-6522 instance Hertz and SystemeInternationalUnit
(instance Joule SystemeInternationalUnit) Merge.kif 6549-6549 instance Joule and SystemeInternationalUnit
(instance KelvinDegree SystemeInternationalUnit) Merge.kif 6402-6402 instance KelvinDegree and SystemeInternationalUnit
(instance Kilogram SystemeInternationalUnit) Merge.kif 6939-6939 instance Kilogram and SystemeInternationalUnit
(instance Lumen SystemeInternationalUnit) Merge.kif 6688-6688 instance Lumen and SystemeInternationalUnit
(instance Lux SystemeInternationalUnit) Merge.kif 6698-6698 instance Lux and SystemeInternationalUnit
(instance Meter SystemeInternationalUnit) Merge.kif 6361-6361 instance Meter and SystemeInternationalUnit
(instance Mole SystemeInternationalUnit) Merge.kif 6416-6416 instance Mole and SystemeInternationalUnit
(instance Newton SystemeInternationalUnit) Merge.kif 6531-6531 instance Newton and SystemeInternationalUnit
(instance Ohm SystemeInternationalUnit) Merge.kif 6618-6618 instance Ohm and SystemeInternationalUnit
(instance Pascal SystemeInternationalUnit) Merge.kif 6540-6540 instance Pascal and SystemeInternationalUnit
(instance Radian SystemeInternationalUnit) Merge.kif 6480-6480 instance Radian and SystemeInternationalUnit
(instance SecondDuration SystemeInternationalUnit) Merge.kif 6379-6379 instance SecondDuration and SystemeInternationalUnit
(instance Siemens SystemeInternationalUnit) Merge.kif 6630-6630 instance Siemens and SystemeInternationalUnit
(instance Sievert SystemeInternationalUnit) Merge.kif 6735-6735 instance Sievert and SystemeInternationalUnit
(instance Steradian SystemeInternationalUnit) Merge.kif 6491-6491 instance Steradian and SystemeInternationalUnit

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