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. | QoSontology.kif 43-43 | 公交网络 是 LAN 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 49-49 | 星网 是 LAN 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 53-53 | 环网 是 LAN 的 subclass |