No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20251-20251 | Poultry e' uma sub-classe de Passaro |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20252-20252 | Chicken e' uma sub-classe de Poultry |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20276-20276 | Duck e' uma sub-classe de Poultry |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20278-20278 | Goose e' uma sub-classe de Poultry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4921-4921 | TurkeyBird e' uma sub-classe de Poultry |