TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1548-1548	connectedBodyPartTypes Urethra, Bladder and Human
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1537-1545
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1547-1547
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1535-1535	子類 Urethra and 體腔
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1536-1536	子類 Urethra and BodyOriface

appearance as argument number 2

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

Anatomy.kif 1546-1546

antecedent

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

Anatomy.kif 1550-1556