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	O argumento numero 1 de internetCountryCode e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Communications.kif 436-436	O argumento numero 2 de internetCountryCode e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Communications.kif 434-434	internetCountryCode e' uma instancia de Predicado Binario

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