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	O argumento numero 1 de reactant e' uma instancia de Processo Quimico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8797-8797	O argumento numero 2 de reactant e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8799-8799	reactant e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8798-8798	reactant e' uma sub-relacao de resource

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