No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2674-2677 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7819-7824 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1394-1397 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7816-7816 |
气压 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7817-7817 |
气压 的 2 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2753-2753 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2646-2646 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2752-2752 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7814-7814 |
气压 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7813-7813 |
气压 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7815-7815 |
气压 是 计量 的 subrelation |