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 |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 511-517 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13741-13745 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14966-14970 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7600-7618 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15933-15937 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13771-13784 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1007-1020 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26861-26870 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15961-15963 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14400-14405 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1819-1824 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15851-15858 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14424-14426 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 673-681 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 180-186 |
|