No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1324-1324 | RealtimeSystem est une sous-classe de ComputationalSystem |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1329-1329 | HardwareSystem est une sous-classe de RealtimeSystem |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1330-1330 | ComputerNetwork est une sous-classe de RealtimeSystem |