No TPTP formula. May not be expressible in strict first order. |
Media.kif 3264-3266 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3261-3261 |
keyName 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3262-3262 |
keyName 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3258-3258 |
keyName 是 反对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3257-3257 |
keyName 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3260-3260 |
keyName 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3259-3259 |
keyName 是 自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3263-3263 |
keyName 是 subString 的 subrelation |