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	The number 1 argument of internet country code is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Communications.kif 436-436	The number 2 argument of internet country code is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Communications.kif 434-434	internet country code is an instance of binary predicate

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