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 e' uma sub-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 | O argumento numero 2 de ipAddressOf e' uma instancia de IPAddress |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2073-2073 | O argumento numero 1 de ipOfDomain e' uma instancia de IPAddress |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 968-968 | O argumento numero 2 de monitorConnectivityData e' uma instancia de IPAddress |
consequent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1695-1700 |