BiologicallyActiveSubstance(Substancia Biologica Ativa) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3443-3446 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14718-14725 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14717-14717 | Substancia Biologica Ativa e' uma sub-classe de Substancia |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10128-10128 | AdenosineTriphosphate e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8671-8671 | Alkaloid e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9855-9855 | Antacid e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9694-9694 | Antibiotic e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9717-9717 | Antidepressant e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10075-10075 | Antidiuretic e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9824-9824 | Antigen e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9840-9840 | Antihistamine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9705-9705 | Antiparasitic e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1328-1328 | Atropine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 80-80 | BiochemicalAgent e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1317-1317 | CSGas e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4291-4291 | Carnitine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 446-446 | ChemicalAgent e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4792-4792 | ControlledSubstance e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9365-9365 | Depressant e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 513-513 | Dimercaprol e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10023-10023 | Diuretic e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6193-6193 | Fentanyl e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14881-14881 | Hormonio e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9262-9262 | Medicine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9787-9787 | MoodStabilizer e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6170-6170 | Morphine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14727-14727 | Nutriente e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9370-9370 | Opium e' uma sub-classe de Substancia Biologica Ativa |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 914-914 | O argumento numero 2 de biochemicalAgentAntidote e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 933-933 | O argumento numero 2 de diseaseMedicine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1557-1557 | O argumento numero 1 de pathologicSideEffect e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9960-9960 | O argumento numero 2 de pathologyTreatment e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1539-1539 | O argumento numero 1 de sideEffect e' uma sub-classe de Substancia Biologica Ativa |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 180-185 |
|
consequent |