UnitOfMeasure(unit of measure) |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 520-520 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 554-554 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 1000-1000 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 519-519 |