No TPTP formula. May not be expressible in strict first order. |
engineering.kif 968-969 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9592-9592 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9594-9594 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9593-9593 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 970-970 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 971-971 |
安全阀 是 压力控制阀 的 subclass |