|
|
  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 e' uma instancia de Atributo Relacional |
| 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 e' um atributo de Objeto Processo Processo Objeto e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' um sub-processo de Objeto Processo e' um sub-processo de Objeto Processo e' igual a Processo Processo acontece ao mesmo tempo que Objeto Processo acontece ao mesmo tempo que Objeto |
|
|
|