reactant |
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 |