No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20369-20369 |
Beef is the meat of cow |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20373-20373 |
Chicken meat is the meat of chicken |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1951-1951 |
Crab is the meat of crab |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1955-1955 |
Crayfish is the meat of crayfish |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2039-2039 |
Duck is the meat of duck |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1941-1941 |
Fish meat is the meat of fish |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2589-2589 |
Goat meat is the meat of goat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2043-2043 |
Goose is the meat of goose |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4955-4955 |
Lamb meat is the meat of lamb |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1960-1960 |
Lobster is the meat of lobster |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1986-1986 |
Mollusk is the meat of mollusk |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4960-4960 |
Mutton is the meat of sheep |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30505-30505 |
Octopus is the meat of octopus |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2004-2004 |
Oyster is the meat of oyster |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20376-20376 |
Pork is the meat of pig |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2033-2033 |
Poultry is the meat of bird |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1964-1964 |
Shrimp is the meat of shrimp |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2054-2054 |
Quail is the meat of quail bird |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2008-2008 |
Scallop is the meat of scallop |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2021-2021 |
Squid is the meat of squid |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2047-2047 |
Turkey meat is the meat of turkey bird |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4973-4973 |
Veal is the meat of calf |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4976-4976 |
Water buffalo meat is the meat of water buffalo |