No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 734-743 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3593-3601 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 299-307 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1960-1968 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4065-4072 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 157-164 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4347-4358 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 192-197 |
|