No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2113-2114 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4099-4100 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 765-766 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4096-4096 |
eventPartlyLocated 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4097-4097 |
eventPartlyLocated 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4089-4089 |
eventPartlyLocated 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4090-4090 |
eventPartlyLocated 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4117-4117 |
eventPartlyLocated 是 参与活动 的 subrelation |