No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12306-12307 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12310-12310 |
Every salivary gland is initially part of a mouth |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12311-12311 |
Saliva is a secretes substance of salivary gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12305-12305 |
Salivary gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12309-12309 |
A salivary gland is typically a part of a mouth |