ProtonPumpInhibitor
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9885-9896 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31641-31641 | roomTempState PPI and liquid |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9883-9883 | PPI is a subclass of medicine |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9898-9898 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9897-9897 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9900-9922 |
|