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 5982-5983
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 5980-5980 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 6486-6486 Ampere is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6806-6806 Becquerel is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6525-6525 Candela is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6767-6767 Celsius degree is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6678-6678 Coulomb is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6703-6703 Farad is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6466-6466 Gram is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6820-6820 Gray is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6756-6756 Henry is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6618-6618 Hertz is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6645-6645 Joule is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6498-6498 Kelvin degree is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 7041-7041 Kilogram is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6784-6784 Lumen is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6794-6794 Lux is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6456-6456 Meter is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6512-6512 Mole is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6627-6627 Newton is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6714-6714 Ohm is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6636-6636 Pascal is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6576-6576 Radian is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6475-6475 Second duration is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6726-6726 Siemens is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6831-6831 Sievert is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6587-6587 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