No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 881-885 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4427-4444 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 660-665 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4123-4135 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4079-4092 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4101-4114 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4566-4576 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4009-4020 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3972-3986 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3988-4002 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1099-1103 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2051-2054 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2088-2091 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2075-2079 |
|