TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8801-8802
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8803-8803	O argumento numero 1 de reagent e' uma instancia de Processo Quimico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8804-8804	O argumento numero 2 de reagent e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8806-8806	reagent e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8805-8805	reagent e' uma sub-relacao de instrument

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4338-4338
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4337-4337
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4336-4336
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48866-48866
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48865-48865
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48864-48864