Tuna(tuna) | Thunnus_alalunga, Thunnus_albacares, Thunnus_thynnus, albacore, bluefin, bluefin_tuna, horse_mackerel, long-fin_tunny, tuna, tunny, yellowfin, yellowfin_tuna |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3518-3518 | Tuna is a subclass of fish |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65625-65625 |