No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1674-1674 | 统一资源标识符 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1688-1688 | 统一资源定位器 是 统一资源标识符 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1702-1702 | 统一资源名称 是 统一资源标识符 的 subclass |