Lathe
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5987-5989 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3727-3727 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5986-5986 | 子類 車床 and Machine |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33437-33437 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33436-33436 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33435-33435 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6000-6011 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5990-5999 |