No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 579-581 |
|
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 10468-10468 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10463-10463 |
|
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 10471-10471 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10470-10470 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9896-9896 |
|
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 10464-10464 |
|
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. |
QoSontology.kif 578-578 |
子類 自動申請 and ComputerProgram |