No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30211-30224 |
Alone 是 实体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 那个 实体2 和 过程 这样 那个 实体 不 equal 那个 实体2 和 那个 实体2 是 施事体 的 instance 和 那个 过程 是 社交 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 实体 是事件 那个 过程 的 involved 和 那个 实体2 是事件 那个 过程 的 involved |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7948-7957 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5747-5767 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18407-18414 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5876-5885 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9746-9754 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3537-3561 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13026-13035 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5893-5903 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2427-2429 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30195-30206 |
|