releaseForSale |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1494-1495 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1493-1493 | releaseForSale 是 三元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1492-1492 | releaseForSale 是 releaseForConsumption 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4374-4374 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4373-4373 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4372-4372 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1496-1496 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1499-1509 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Music.kif 261-270 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 67-80 |