PhysicalAddress - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 219-220
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 218-218	子類實際地址 and SymbolicString

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 224-224	範圍地址 and 實際地址
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 757-757	子類 IP地址 and 實際地址
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45714-45714
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45713-45713
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45712-45712