IPAddress(IP地址) |
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 | 子類 IP地址 and 實際地址 |
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 | 域 的IP地址, 2 and IP地址 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2073-2073 | 域 ipOfDomain, 1 and IP地址 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 968-968 | 域 監控連接數據, 2 and IP地址 |
consequent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1695-1700 |