inList |
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 |
|