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 2037-2037 | DuckMeat 是 PoultryMeat 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2041-2041 | GooseMeat 是 PoultryMeat 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2045-2045 | 火鸡肉 是 PoultryMeat 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2052-2052 | QuailMeat 是 PoultryMeat 的 subclass |
![]() |