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 | release for sale is an instance of ternary relation |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1492-1492 | release for sale is a subrelation of release for consumption |
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 |