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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SystemeInternationalUnit

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 6151-6152
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8747-8747
No TPTP formula. May not be expressible in strict first order. Merge.kif 6149-6149 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 6633-6633 Ampere is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6953-6953 Becquerel is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6672-6672 Candela is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6914-6914 Celsius degree is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6825-6825 Coulomb is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6850-6850 Farad is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6613-6613 Gram is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6967-6967 Gray is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6903-6903 Henry is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6765-6765 Hertz is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6792-6792 Joule is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6645-6645 Kelvin degree is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 7188-7188 Kilogram is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6931-6931 Lumen is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6941-6941 Lux is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6603-6603 Meter is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6659-6659 Mole is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6774-6774 Newton is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6861-6861 Ohm is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6783-6783 Pascal is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6723-6723 Radian is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6622-6622 Second duration is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6873-6873 Siemens is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6978-6978 Sievert is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6734-6734 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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