ImmediateFutureFn |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 135-151 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 741-763 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 713-736 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11361-11372 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1482-1490 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1499-1509 |