No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1049-1049 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1048-1048 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1047-1047 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1079-1079 |
名 "flag of registry" and 國旗 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1078-1078 |
名 "flag state" and 國旗 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24164-24164 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24163-24163 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24162-24162 |
|