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