No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20369-20369 |
牛肉 是 母牛 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20373-20373 |
鸡肉 是 鸡 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1951-1951 |
CrabMeat 是 Crab 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1955-1955 |
CrayfishMeat 是 小龙虾 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2039-2039 |
DuckMeat 是 鸭 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1941-1941 |
鱼肉 是 鱼 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2589-2589 |
GoatMeat 是 山羊 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2043-2043 |
GooseMeat 是 鹅 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4955-4955 |
羔羊肉 是 羔羊 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1960-1960 |
LobsterMeat 是 Lobster 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1986-1986 |
MolluskMeat 是 软体动物 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4960-4960 |
羊肉 是 羊 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30505-30505 |
OctopusMeat 是 Octopus 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2004-2004 |
OysterMeat 是 Oyster 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20376-20376 |
猪肉 是 猪 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2033-2033 |
PoultryMeat 是 鸟 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1964-1964 |
PrawnMeat 是 虾 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2054-2054 |
QuailMeat 是 QuailBird 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2008-2008 |
ScallopMeat 是 Scallop 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2021-2021 |
SquidMeat 是 Squid 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2047-2047 |
火鸡肉 是 TurkeyBird 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4973-4973 |
小牛肉 是 小牛 的 meat |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4976-4976 |
水牛肉 是 水牛 的 meat |