No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 268-268 | SoftwareSystem est une sous-classe de programme d'ordinateur |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 994-994 | OperatingSystem est une sous-classe de SoftwareSystem |
![]() |