No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 609-610 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10715-10715 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9954-9954 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10713-10713 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10714-10714 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 608-608 |
子類 控制台應用 and ComputerProgram |