No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 36-36 | LAN est une sous-classe de ComputerNetwork |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 43-43 | BusNetwork est une sous-classe de LAN |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 49-49 | StarNetwork est une sous-classe de LAN |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 53-53 | RingNetwork est une sous-classe de LAN |
![]() |