TreeView Knowledge Base Browser - mutualAcquaintance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3710-3712
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16547-16551
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16553-16553	Le nombre 1 argument de mutualAcquaintance est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16554-16554	Le nombre 2 argument de mutualAcquaintance est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16544-16544	mutualAcquaintance est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16545-16545	mutualAcquaintance est une instance de relation sym�trique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16555-16555	mutualAcquaintance est une sous-relation de acquaintance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23358-23358	mutualStranger et mutualAcquaintance sont disjoint
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1767-1767
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1766-1766
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1765-1765
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22986-22986	cohabitant est une sous-relation de mutualAcquaintance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22963-22963	coworker est une sous-relation de mutualAcquaintance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22951-22951	friend est une sous-relation de mutualAcquaintance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16556-16556	spouse est une sous-relation de mutualAcquaintance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39483-39483
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39482-39482
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39481-39481