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 16535-16539
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16541-16541	熟人的 1 数量是人类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16542-16542	熟人的 2 数量是人类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16533-16533	熟人是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23343-23343	陌生人和熟人是 disjoint 关系
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 16555-16555	相识熟人是熟人的 subrelation
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