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	O argumento numero 1 de mutualAcquaintance e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16554-16554	O argumento numero 2 de mutualAcquaintance e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16544-16544	mutualAcquaintance e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16545-16545	mutualAcquaintance e' uma instancia de Relacao Simetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16555-16555	mutualAcquaintance e' uma sub-relacao 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 e mutualAcquaintance sao disjuntos
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 e' uma sub-relacao de mutualAcquaintance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22963-22963	coworker e' uma sub-relacao de mutualAcquaintance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22951-22951	friend e' uma sub-relacao de mutualAcquaintance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16556-16556	spouse e' uma sub-relacao 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