No TPTP formula. May not be expressible in strict first order. | Geography.kif 1996-1996 | Barite is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1997-1997 | Barite is a subclass of mineral |