No TPTP formula. May not be expressible in strict first order. |
Media.kif 3282-3284 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3279-3279 |
keyName 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3280-3280 |
keyName 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3276-3276 |
keyName 是 反对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3275-3275 |
keyName 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3278-3278 |
keyName 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3277-3277 |
keyName 是 自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3281-3281 |
keyName 是 subString 的 subrelation |