| 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 14898-14898 | Meat 是 动物物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 291-291 | Meat 是 Food 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20366-20366 | 牛肉 是 meat 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20371-20371 | 鸡肉 是 meat 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20373-20373 | 猪肉 是 meat 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15048-15048 | 蛋 是 meat 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1921-1921 | 海鲜 是 meat 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2028-2028 | PoultryMeat 是 meat 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2126-2126 | CuredMeat 是 meat 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2588-2588 | GoatMeat 是 meat 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4952-4952 | 羔羊肉 是 meat 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4957-4957 | 羊肉 是 meat 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4970-4970 | 小牛肉 是 meat 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4975-4975 | 水牛肉 是 meat 的 subclass |
|
|