No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24391-24397 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24389-24389 |
subString 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24390-24390 |
subString 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24385-24385 |
subString 是 反对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24387-24387 |
subString 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24386-24386 |
subString 是 自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24388-24388 |
subString 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24398-24398 |
subString 是 部分 的 subrelation |