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	The number 1 argument of reactant is an instance of chemical process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8797-8797	The number 2 argument of reactant is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8799-8799	reactant is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8798-8798	reactant is a subrelation of 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