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 5924-5925
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8751-8751
No TPTP formula. May not be expressible in strict first order. Merge.kif 5922-5922 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 6423-6423 Ampere is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6743-6743 Becquerel is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6462-6462 Candela is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6704-6704 Celsius degree is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6615-6615 Coulomb is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6640-6640 Farad is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6404-6404 Gram is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6757-6757 Gray is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6693-6693 Henry is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6555-6555 Hertz is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6582-6582 Joule is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6435-6435 Kelvin degree is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6972-6972 Kilogram is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6721-6721 Lumen is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6731-6731 Lux is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6394-6394 Meter is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6449-6449 Mole is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6564-6564 Newton is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6651-6651 Ohm is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6573-6573 Pascal is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6513-6513 Radian is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6412-6412 Second duration is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6663-6663 Siemens is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6768-6768 Sievert is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6524-6524 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