No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2209-2217 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2206-2206 |
filename 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2207-2207 |
filename 的 2 数量 是 数字数据 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2203-2203 |
filename 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2204-2204 |
filename 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2219-2219 |
filename 和 的目录 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2205-2205 |
filename 是 命名 的 subrelation |