TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8793-8795
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8796-8796	反应的 1 数量是化学过程的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8797-8797	反应的 2 数量是物质的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8799-8799	反应是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8798-8798	反应是资源的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4334-4334
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4333-4333
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4332-4332
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48848-48848
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48847-48847
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48846-48846