No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 288-288 | HardwareSystem est une sous-classe de ComputerHardware |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 289-289 | HardwareSystem 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 |