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	Le nombre 1 argument de ShortageFn est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2886-2886	ShortageFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2888-2888	Le domaine de ShortageFn est une instance de entit�

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