No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1688-1688 | UniformResourceLocator est une sous-classe de UniformResourceIdentifier |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2931-2931 | UniformResourceLocator est une sous-classe de InternetAddress |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2932-2932 | UniformResourceLocator est une sous-classe de StandardIdentifier |
![]() |