No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 4055-4055 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18452-18453 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18450-18450 |
MakingFn 的 1 数量 是 制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18449-18449 |
MakingFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18451-18451 |
MakingFn 的所得值 是 客体 的 subclass |