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 16569-16573
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16575-16575	域相識熟人, 1 and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16576-16576	域相識熟人, 2 and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16566-16566	例相識熟人 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16567-16567	例相識熟人 and SymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16577-16577	子關係相識熟人 and 熟人

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23357-23357	不相交的關係相互陌生的人 and 相識熟人
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 22985-22985	子關係同居 and 相識熟人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22962-22962	子關係同事 and 相識熟人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22950-22950	子關係朋友 and 相識熟人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16578-16578	子關係伴侶 and 相識熟人
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