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 |
|