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

appearance as argument number 2

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