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 数量是人类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16576-16576	相识熟人的 2 数量是人类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16566-16566	相识熟人是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16567-16567	相识熟人是对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16577-16577	相识熟人是熟人的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23357-23357	相互陌生的人和相识熟人是 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 22985-22985	同居是相识熟人的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22962-22962	同事是相识熟人的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22950-22950	朋友是相识熟人的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16578-16578	伴侣是相识熟人的 subrelation
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