No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1112-1113 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9959-9959 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10748-10748 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10744-10744 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10747-10747 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10746-10746 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1114-1114 |
子類 調節器 and EngineeringComponent |