IPAddress |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 758-759 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 757-757 | IPAddress est une sous-classe de PhysicalAddress |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30931-30931 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30930-30930 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30929-30929 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 763-763 | Le nombre 2 argument de ipAddressOf est une instance de IPAddress |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2073-2073 | Le nombre 1 argument de ipOfDomain est une instance de IPAddress |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 968-968 | Le nombre 2 argument de monitorConnectivityData est une instance de IPAddress |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1695-1700 |
![]() |
![]() |