TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3707-3709
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16535-16539
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16541-16541	Le nombre 1 argument de acquaintance est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16542-16542	Le nombre 2 argument de acquaintance est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16533-16533	acquaintance est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23343-23343	stranger et acquaintance sont disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52-52
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51-51
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50-50
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16555-16555	mutualAcquaintance est une sous-relation de acquaintance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5328-5328
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5327-5327
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5326-5326