| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14561-14561 | Bird is a subclass of warm blooded vertebrate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20224-20224 | Poultry is a subclass of bird |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20255-20255 | Owl is a subclass of bird |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20259-20259 | Pigeon is a subclass of bird |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20262-20262 | Vulture is a subclass of bird |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30448-30448 | Parrot is a subclass of bird |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2049-2049 | Quail bird is a subclass of bird |
|
|