TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2890-2891
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2887-2887	O argumento numero 1 de ShortageFn e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2886-2886	ShortageFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2888-2888	O contra-dominio de ShortageFn e' uma instancia de Entidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2279-2279
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2278-2278
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2277-2277
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52797-52797
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52796-52796
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52795-52795