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 16557-16561
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16563-16563	Le nombre 1 argument de acquaintance est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16564-16564	Le nombre 2 argument de acquaintance est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16555-16555	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 23342-23342	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 16577-16577	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