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 |
控制台应用 是 电脑程序 的 subclass |