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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SystemeInternationalUnit
SystemeInternationalUnit(systeme international unit)
International_System, International_System_of_Units, SI, SI_system, SI_unit, Systeme_International, Systeme_International_d'Unites

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2402-2402
No TPTP formula. May not be expressible in strict first order. Merge.kif 6239-6240
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1084-1085
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8746-8746
No TPTP formula. May not be expressible in strict first order. Merge.kif 6237-6237 Systeme international unit is a subclass of unit of measure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6721-6721 Ampere is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 7041-7041 Becquerel is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6760-6760 Candela is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 7002-7002 Celsius degree is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6913-6913 Coulomb is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6938-6938 Farad is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6701-6701 Gram is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 7055-7055 Gray is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6991-6991 Henry is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6853-6853 Hertz is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6880-6880 Joule is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6733-6733 Kelvin degree is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 7276-7276 Kilogram is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 7019-7019 Lumen is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 7029-7029 Lux is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6691-6691 Meter is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6747-6747 Mole is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6862-6862 Newton is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6949-6949 Ohm is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6871-6871 Pascal is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6811-6811 Radian is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6710-6710 Second duration is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6961-6961 Siemens is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 7066-7066 Sievert is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6822-6822 Steradian is an instance of systeme international unit

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