No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12305-12306 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12309-12309 |
%每个 SalivaryGland 是 口 的 initially part |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12310-12310 |
Saliva 是 SalivaryGland 的 secretes 物质 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12304-12304 |
SalivaryGland 是 腺 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12308-12308 |
SalivaryGland typically 是 口 的 part |