No TPTP formula. May not be expressible in strict first order. |
Music.kif 53-58 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2035-2053 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1149-1154 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1125-1130 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1137-1142 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2331-2336 |
|