TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

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

Mid-level-ontology.kif 12293-12293

consequent

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

Medicine.kif 2316-2321