No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1199-1199 |
便利登记的旗帜 的名 是 "flag of convenience" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1200-1200 |
便利登记的旗帜 的名 是 "open register" |
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 |
|