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	域熟人, 1 and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16564-16564	域熟人, 2 and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16555-16555	例熟人 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23342-23342	不相交的關係陌生人 and 熟人
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	子關係相識熟人 and 熟人
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