No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1068-1068 |
子類 基礎 and 終奌站 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1073-1073 |
子類 收集家 and 終奌站 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1077-1077 |
子類 發射器 and 終奌站 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57532-57532 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57531-57531 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57530-57530 |
|