TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12292-12293
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12303-12303	Adrenaline 是 AdrenalGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12297-12297	Aldosterone 是 AdrenalGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12298-12298	Androgen 是 AdrenalGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12296-12296	Cortisol 是 AdrenalGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12291-12291	AdrenalGland 是腺的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 12294-12294

consequent

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 2316-2321