No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6477-6487 |
实体 是 共轭物质 的 instance 若且唯若 有存在 客体, 另一个 客体, and 和 过程 这样 那个 客体 是 复合物质 的 instance 和 那个 另外 客体 是 复合物质 的 instance 和 那个 客体 不 equal 那个 另外 客体 和 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3954-3964 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19378-19391 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2546-2554 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2548-2562 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7242-7257 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5126-5150 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5421-5443 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15151-15163 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5772-5778 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3936-3941 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1033-1039 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1026-1031 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1886-1894 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 607-615 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 629-637 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3638-3645 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1566-1573 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4757-4763 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4746-4748 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3030-3036 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19647-19654 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |