| 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 6264-6265 | |
| 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 8745-8745 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6262-6262 | 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 6746-6746 | Ampere is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7066-7066 | Becquerel is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6785-6785 | Candela is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7027-7027 | Celsius degree is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6938-6938 | Coulomb is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6963-6963 | Farad is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6726-6726 | Gram is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7080-7080 | Gray is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7016-7016 | Henry is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6878-6878 | Hertz is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6905-6905 | Joule is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6758-6758 | Kelvin degree is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7320-7320 | Kilogram is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7044-7044 | Lumen is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7054-7054 | Lux is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6716-6716 | Meter is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6772-6772 | Mole is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6887-6887 | Newton is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6974-6974 | Ohm is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6896-6896 | Pascal is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6836-6836 | Radian is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6735-6735 | Second duration is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6986-6986 | Siemens is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7091-7091 | Sievert is an instance of systeme international unit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6847-6847 | Steradian is an instance of systeme international unit |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|