No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26329-26340 |
过程 是 Photocopying 的 instance 和 内容承载物理 是 那个 过程 的 patient 和 那个 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 内容承载物理 contains 命题 的资料 若且唯若 有存在 另一个 内容承载物理 和 另一个 命题 这样 那个 另外 内容承载物理 是 那个 过程 的 result 和 那个 另外 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 另外 内容承载物理 contains 那个 另外 命题 的资料 和 那个 命题 equal 那个 另外 命题 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14072-14077 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1029-1038 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 957-966 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16842-16851 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29639-29653 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12715-12728 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10840-10848 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6429-6439 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10863-10870 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2181-2191 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2169-2179 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 32-44 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2535-2553 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2512-2528 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2489-2505 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3018-3023 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16227-16239 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26299-26315 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4589-4593 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4031-4036 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2702-2707 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13862-13869 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 909-916 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1654-1675 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |