No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24447-24452 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24445-24445 |
StringLengthFn 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24444-24444 |
StringLengthFn 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24443-24443 |
StringLengthFn 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24442-24442 |
StringLengthFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24446-24446 |
StringLengthFn 的 range 是 非负整数 的实例 |