| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14583-14583 | Passaro e' uma sub-classe de Vertebrado de Sangue Quente |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20223-20223 | Poultry e' uma sub-classe de Passaro |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20254-20254 | Owl e' uma sub-classe de Passaro |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20258-20258 | Pigeon e' uma sub-classe de Passaro |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20261-20261 | Vulture e' uma sub-classe de Passaro |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30436-30436 | Parrot e' uma sub-classe de Passaro |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2049-2049 | QuailBird e' uma sub-classe de Passaro |
|
|