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 |
ConsoleApplication est une sous-classe de programme d'ordinateur |