|
|
   Alkaloid
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8645-8646 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4489-4489 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31560-31560 | roomTempState 生物鹼 and 液體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8644-8644 | 子類 生物鹼 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8642-8642 | 子類 生物鹼 and 化學基地 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8643-8643 | 子類 生物鹼 and 植物物質 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6528-6528 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6527-6527 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6526-6526 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8648-8653 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9349-9354 |
|
|
|
