|
|
  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 | 例 和弦音樂 and RelationalAttribute |
| 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 | attribute Object and 和弦音樂 Process Process 例 Object and MakingMusic 例 Process and MakingMusic 例 Process and MakingMusic 子過程 Process and Object 子過程 Process and Object 等於 Process and Process 一同發生 Process and Object 一同發生 Process and Object |
|
|
|