| EustachianTube(Eustachian tube)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1503-1513 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1609-1609 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1515-1515 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1502-1502 | Eustachian tube is a subclass of body cavity |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 199-199 | The origin of tensor tympani muscle is Eustachian tube |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1514-1514 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1526-1533 |
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1517-1524 |
|
|
|
|