Steak(steak) | Delmonico_steak, T-bone_steak, beefsteak, club_steak, filet, filet_mignon, fillet, porterhouse, porterhouse_steak, tournedos |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3476-3476 | Steak is a subclass of beef |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65540-65540 |