No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 968-975 |
整数 是 机构 的 year 资金 若且唯若 有存在 过程 和 那个 整数EAR 这样 那个 整数EAR 时段 和 那个 过程 出现 的 time 重叠 和 那个 整数EAR 是 那个 整数 year 的 instance 和 那个 过程 是 创建 的 instance 和 那个 机构 是 那个 过程 的 result |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6230-6243 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2917-2933 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13863-13876 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18225-18231 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22347-22355 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 450-463 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10311-10319 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2467-2478 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8264-8269 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8320-8325 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1464-1473 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1450-1459 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5778-5797 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8271-8278 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13885-13900 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13902-13915 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8291-8301 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20425-20435 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2280-2290 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21088-21100 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21065-21079 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2558-2563 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |