No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24476-24480 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24473-24473 |
StringConcatenateFn 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24474-24474 |
StringConcatenateFn 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24470-24470 |
StringConcatenateFn 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24472-24472 |
StringConcatenateFn 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24471-24471 |
StringConcatenateFn 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24475-24475 |
StringConcatenateFn 的 range 是 符号串 的实例 |