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 |
Console application is a subclass of computer program |