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 3588-3596 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 300-308 |
|
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 4060-4067 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 158-165 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 999-1013 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4342-4353 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 193-198 |
|