|
|
   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 |
|
|
|