No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3527-3527 |
子類 基於大西洋英語的洋涇語言 and 基於英語的拼音語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3545-3545 |
子類 基於太平洋英語的洋涇浜語 and 基於英語的拼音語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22144-22144 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22143-22143 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22142-22142 |
|