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 6231-6244 |
|
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 13841-13854 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18203-18209 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22348-22356 |
|
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 10289-10297 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2471-2482 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8242-8247 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8298-8303 |
|
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 5779-5798 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8249-8256 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13863-13878 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13880-13893 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8269-8279 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20426-20436 |
|
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 21089-21101 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21066-21080 |
|
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 |