TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2070-2072
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2073-2073	O argumento numero 1 de ipOfDomain e' uma instancia de IPAddress
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2074-2074	O argumento numero 2 de ipOfDomain e' uma instancia de InternetDomain
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2069-2069	ipOfDomain e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65859-65859