|
|
  PolyphonicMusic
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 746-749 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 745-745 | PolyphonicMusic est une instance de attribut relationnel |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46597-46597 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46596-46596 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46595-46595 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 751-762 | PolyphonicMusic est un attribut de objet processus processus objet est une instance de MakingMusic processus est une instance de MakingMusic processus est une instance de MakingMusic processus est un sous-processus de objet processus est un sous-processus de objet processus est processus processus se produit en m�me temps que objet processus se produit en m�me temps que objet |
|
|
|