measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 393-393 | trackWidth e' uma sub-relacao de measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2526-2526 | vesselDisplacement e' uma sub-relacao de measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7287-7287 | weight e' uma sub-relacao de 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 |