No TPTP formula. May not be expressible in strict first order. |
engineering.kif 256-256 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5981-5981 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6454-6454 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6455-6455 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6459-6459 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6460-6460 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6456-6456 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6457-6457 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6461-6461 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6458-6458 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 258-258 |
Electrical est une instance de PhysicalDomain |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 257-257 |
|