No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 30-30 | 计算机网络 是 计算系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1330-1330 | 计算机网络 是 实时系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 36-36 | LAN 是 计算机网络 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1408-1408 | WirelessNetwork 是 计算机网络 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1872-1872 | 隔空打印 是 计算机网络 的 subclass |