No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2574-2578 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7068-7079 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1279-1285 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7065-7065 |
Sievert est une instance de CompositeUnitOfMeasure |
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 |