No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24420-24432 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24416-24416 |
SubstringFn 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24417-24417 |
SubstringFn 的 2 数量 是 非负整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24418-24418 |
SubstringFn 的 3 数量 是 非负整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24414-24414 |
SubstringFn 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24415-24415 |
SubstringFn 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24413-24413 |
SubstringFn 是 三元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24419-24419 |
SubstringFn 的 range 是 符号串 的实例 |