No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1199-1199 |
名 "flag of convenience" and 便利登記的旗幟 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1200-1200 |
名 "open register" and 便利登記的旗幟 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24152-24152 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24151-24151 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24150-24150 |
|