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 |
AlgebraicAttribute e' uma instancia de EquationAttribute |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 224-224 |
|