No TPTP formula. May not be expressible in strict first order. |
engineering.kif 703-704 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6731-6731 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7445-7445 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 707-707 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 706-706 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 705-705 |
Nonlinear is a subclass of internal attribute |