No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 20-20 | ComputationalSystem est une sous-classe de produit |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 30-30 | ComputerNetwork est une sous-classe de ComputationalSystem |
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 1324-1324 | RealtimeSystem est une sous-classe de ComputationalSystem |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1807-1807 | ComputerResource est une sous-classe de ComputationalSystem |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1835-1835 | Server est une sous-classe de ComputationalSystem |
![]() |