TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3707-3709
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16557-16561
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16563-16563	O argumento numero 1 de acquaintance e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16564-16564	O argumento numero 2 de acquaintance e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16555-16555	acquaintance e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23342-23342	stranger e acquaintance sao disjuntos
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52-52
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51-51
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50-50
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16577-16577	mutualAcquaintance e' uma sub-relacao de acquaintance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5328-5328
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5327-5327
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5326-5326