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 16272-16276
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16278-16278	The number 1 argument of mutual acquaintance is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16279-16279	The number 2 argument of mutual acquaintance is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16269-16269	mutual acquaintance is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16270-16270	mutual acquaintance is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16280-16280	mutual acquaintance is a subrelation of acquaintance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22801-22801	mutual stranger and mutual acquaintance are 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 22429-22429	cohabitant is a subrelation of mutual acquaintance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22406-22406	coworker is a subrelation of mutual acquaintance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22394-22394	friend is a subrelation of mutual acquaintance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16281-16281	spouse is a subrelation of mutual acquaintance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39468-39468
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39467-39467
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39466-39466