TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23363-23367
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23369-23369	国内的合作伙伴的 1 数量是人类的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23370-23370	国内的合作伙伴的 2 数量是人类的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23359-23359	国内的合作伙伴是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23361-23361	国内的合作伙伴是有意图的关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23360-23360	国内的合作伙伴是对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23373-23373	国内的合作伙伴是同居的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23372-23372	伴侣和国内的合作伙伴是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 792-792
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 791-791
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 790-790
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20142-20142
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20141-20141
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20140-20140