TPTP Problem Domain: BIO

BIO001+1.p BIO002+1.p BIO003+1.p BIO004+1.p BIO005+1.p BIO006+1.p