| 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 |
|
|
|