No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 744-755 |
和弦音乐 是 客体 的 attribute 若且唯若 有存在 过程 和 另一个 过程 这样 那个 客体 是 制作音乐 的 instance 和 那个 过程 是 制作音乐 的 instance 和 那个 另外 过程 是 制作音乐 的 instance 和 那个 过程%n是那个 客体的subProcess 和 那个 另外 过程%n是那个 客体的subProcess 和 那个 过程 不 equal 那个 另外 过程 和 那个 过程 和 那个 客体 同时发生 和 那个 另外 过程 和 那个 客体 同时发生 |
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 13768-13772 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14993-14997 |
|
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 15960-15964 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13798-13811 |
|
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 26894-26903 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16033-16035 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14427-14432 |
|
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 15878-15885 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14451-14453 |
|
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 |
|