|
|
   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 | Syst�me d'unit� international est une sous-classe de unit� de mesure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6721-6721 | Ampere est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7041-7041 | Becquerel est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6760-6760 | Candela est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7002-7002 | CelsiusDegree est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6913-6913 | Coulomb est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6938-6938 | Farad est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6701-6701 | Gram est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7055-7055 | Gray est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6991-6991 | Henry est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6853-6853 | Hertz est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6880-6880 | Joule est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6733-6733 | KelvinDegree est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7276-7276 | Kilogram est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7019-7019 | Lumen est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7029-7029 | Lux est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6691-6691 | Meter est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6747-6747 | Mole est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6862-6862 | Newton est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6949-6949 | Ohm est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6871-6871 | Pascal est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6811-6811 | Radian est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6710-6710 | SecondDuration est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6961-6961 | Siemens est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7066-7066 | Sievert est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6822-6822 | Steradian est une instance de syst�me d'unit� international |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|
