No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24930-24934 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24928-24928 |
telecomCode2 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24929-24929 |
telecomCode2 的 2 数量 是 TelecomNumber 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24927-24927 |
telecomCode2 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24926-24926 |
telecomCode2 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24935-24935 |
telecomCode2 是 subString 的 subrelation |