No TPTP formula. May not be expressible in strict first order. | Geography.kif 1996-1996 | Barite est une sous-classe de substance compos�e |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1997-1997 | Barite est une sous-classe de mineral |
![]() |