| BiologicallyActiveSubstance | |
| 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 14776-14783 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14775-14775 | 子類 BiologicallyActiveSubstance and Substance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11450-11450 | 子類 AdenosineTriphosphate and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9870-9870 | 子類 生物鹼 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11177-11177 | 子類 Antacid and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11016-11016 | 子類 抗生素 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11039-11039 | 子類 Antidepressant and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11397-11397 | 子類 Antidiuretic and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11146-11146 | 子類 抗原 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11162-11162 | 子類 Antihistamine and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11027-11027 | 子類 Antiparasitic and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1328-1328 | 子類 阿托品 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 80-80 | 子類 生化劑 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1317-1317 | 子類 CS氣 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4276-4276 | 子類 Carnitine and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 446-446 | 子類 化學劑 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5127-5127 | 子類 受控物質 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10687-10687 | 子類 降凝劑 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 513-513 | 子類 二巰基丙醇 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11345-11345 | 子類 Diuretic and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6173-6173 | 子類 Fentanyl and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14939-14939 | 子類 Hormone and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10584-10584 | 子類 醫學 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11109-11109 | 子類 MoodStabilizer and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6153-6153 | 子類 Morphine and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14785-14785 | 子類 Nutrient and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10692-10692 | 子類 鴉片 and BiologicallyActiveSubstance |
| 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 | 域子類 生化劑解毒劑, 2 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 933-933 | 域子類 疾病治療, 2 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1557-1557 | 域子類 pathologicSideEffect, 1 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11282-11282 | 域子類 pathologyTreatment, 2 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1539-1539 | 域子類 副作用, 1 and BiologicallyActiveSubstance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 180-185 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 823-840 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9886-9893 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11543-11551 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10565-10570 |
|
|
|