No TPTP formula. May not be expressible in strict first order. | Geography.kif 1996-1996 | Barite e' uma sub-classe de Substancia Composta |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1997-1997 | Barite e' uma sub-classe de Mineral |
![]() |