TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8792-8794
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8795-8795	域反應, 1 and ChemicalProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8796-8796	域反應, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8798-8798	例反應 and CaseRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8797-8797	子關係反應 and 資源

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