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. |
QoSontology.kif 428-439 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 388-399 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 736-748 |
|
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 2320-2327 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2341-2348 |
|
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. |
ComputingBrands.kif 3120-3128 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 785-793 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2544-2552 |
|
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. |
QoSontology.kif 1916-1923 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 708-715 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 670-678 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 279-287 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1930-1936 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 859-864 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 842-847 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1088-1093 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 734-741 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 193-198 |
|