No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8733-8733 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9685-9685 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9686-9686 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9689-9689 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9688-9688 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1875-1875 |
钢锻造 是 钢铁锻造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1867-1867 |
钢锻造 是 钢铁工业 的 subAttribute |