| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15166-15166 | Glande est une sous-classe de organe |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12249-12249 | ThyroidGland est une sous-classe de glande |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12256-12256 | PituitaryGland est une sous-classe de glande |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12259-12259 | LymphNode est une sous-classe de glande |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12284-12284 | SweatGland est une sous-classe de glande |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12302-12302 | Pancreas est une sous-classe de glande |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12318-12318 | AdrenalGland est une sous-classe de glande |
| 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 12351-12351 | MucusGland est une sous-classe de glande |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12386-12386 | TearGland est une sous-classe de glande |
|
|