TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2552-2554
No TPTP formula. May not be expressible in strict first order.	Government.kif 2549-2549	Le nombre 1 argument de aimOfOrganization est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2550-2550	Le nombre 2 argument de aimOfOrganization est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Government.kif 2548-2548	aimOfOrganization est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 116-116
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 115-115
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 114-114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6066-6066
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6065-6065
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6064-6064