SystemeInternationalUnit
|
|
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 6239-6240 | |
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 8746-8746 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6237-6237 | 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 6721-6721 | Ampere is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7041-7041 | Becquerel is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6760-6760 | Candela is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7002-7002 | Celsius degree is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6913-6913 | Coulomb is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6938-6938 | Farad is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6701-6701 | Gram is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7055-7055 | Gray is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6991-6991 | Henry is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6853-6853 | Hertz is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6880-6880 | Joule is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6733-6733 | Kelvin degree is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7276-7276 | Kilogram is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7019-7019 | Lumen is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7029-7029 | Lux is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6691-6691 | Meter is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6747-6747 | Mole is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6862-6862 | Newton is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6949-6949 | Ohm is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6871-6871 | Pascal is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6811-6811 | Radian is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6710-6710 | Second duration is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6961-6961 | Siemens is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7066-7066 | Sievert is an instance of systeme international unit |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6822-6822 | Steradian is an instance of systeme international unit |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |