measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 393-393 | track width is a subrelation of measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2526-2526 | vessel displacement is a subrelation of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7287-7287 | weight is a subrelation of measure |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36665-36665 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 608-608 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36664-36664 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36663-36663 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 351-351 |