No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 218-218 | Physical address is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 757-757 | IP address is a subclass of physical address |