No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30223-30236 |
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 7949-7958 |
|
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 18408-18415 |
|
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 9747-9755 |
|
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 13004-13013 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5894-5904 |
|
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 30207-30218 |
|