No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12333-12334 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12337-12337 |
initialPart SalivaryGland and Mouth |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12338-12338 |
secretesSubstance SalivaryGland and Saliva |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12332-12332 |
SalivaryGland est une sous-classe de glande |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12336-12336 |
typicalPart SalivaryGland and Mouth |