No TPTP formula. May not be expressible in strict first order. |
engineering.kif 223-223 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10375-10375 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10377-10377 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10376-10376 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10374-10374 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9876-9876 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 225-225 |
Algebraic attribute is an instance of equation attribute |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 224-224 |
|