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 2052-2052 |
QuailMeat 是 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 2031-2031 |
|