| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1080-1080 | NaturalSubstance e' uma sub-classe de Substancia |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3889-3889 | NaturalMagnet e' uma sub-classe de NaturalSubstance |
|
|