| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14583-14583 | Oiseau est une sous-classe de vert�br� � sang chaud |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20223-20223 | Poultry est une sous-classe de oiseau |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20254-20254 | Owl est une sous-classe de oiseau |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20258-20258 | Pigeon est une sous-classe de oiseau |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20261-20261 | Vulture est une sous-classe de oiseau |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30436-30436 | Parrot est une sous-classe de oiseau |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2049-2049 | QuailBird est une sous-classe de oiseau |
|
|