No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6210-6210 |
industryProductType PoultryAndEggProduction and Poultry |
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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46930-46930 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46929-46929 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46928-46928 |
|