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 |
魚肉 是 Fish 的 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 是 Mollusk 的 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 是 Bird 的 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 |