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