| No TPTP formula. May not be expressible in strict first order. | Food.kif 1909-1915 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4945-4950 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1633-1639 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14876-14876 | 子類 Meat and 動物物質 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 291-291 | 子類 Meat and Food |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20367-20367 | 子類 牛肉 and Meat |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20372-20372 | 子類 雞肉 and Meat |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20374-20374 | 子類 豬肉 and Meat |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15026-15026 | 子類 蛋 and Meat |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1921-1921 | 子類 海鮮 and Meat |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2028-2028 | 子類 PoultryMeat and Meat |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2126-2126 | 子類 CuredMeat and Meat |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2588-2588 | 子類 GoatMeat and Meat |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4952-4952 | 子類 羔羊肉 and Meat |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4957-4957 | 子類 羊肉 and Meat |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4970-4970 | 子類 小牛肉 and Meat |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4975-4975 | 子類 水牛肉 and Meat |
|
|