TreeView Knowledge Base Browser - internetCountryCode

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Communications.kif 437-439
No TPTP formula. May not be expressible in strict first order.	Communications.kif 435-435	域互聯網國家代碼, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Communications.kif 436-436	域互聯網國家代碼, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Communications.kif 434-434	例互聯網國家代碼 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1373-1373
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1372-1372
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1371-1371
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30721-30721
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30720-30720
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30719-30719