Hops(hops) | American_hop, European_hop, Humulus_americanus, Humulus_japonicus, Humulus_lupulus, Japanese_hop, bine, common_hop, common_hops, hop, hops |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64987-64987 |