No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 687-689 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10460-10460 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10466-10466 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10461-10461 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10467-10467 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10469-10469 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10468-10468 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9895-9895 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10465-10465 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10462-10462 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10464-10464 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 686-686 |
Automatic application is a subclass of computer program |