No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 36-36 | LAN is a subclass of computer network |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 43-43 | Bus network is a subclass of LAN |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 49-49 | Star network is a subclass of LAN |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 53-53 | Ring network is a subclass of LAN |