Planer
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6015-6015 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6014-6014 | 刨床 是 切割装置 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6013-6013 | 刨床 是 机器 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46028-46028 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46027-46027 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46026-46026 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6017-6036 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5562-5569 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5548-5556 |