No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24460-24464 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24458-24458 |
stringLength 的 1 数量 是 非负整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24459-24459 |
stringLength 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24455-24455 |
stringLength 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24457-24457 |
stringLength 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24456-24456 |
stringLength 是 总值关系 的 instance |