No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1199-1199 |
Flag of convenience register has name "flag of convenience" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1200-1200 |
Flag of convenience register has name "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 |
|