| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13842-13851 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13831-13840 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13820-13829 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1084-1084 | Substancia Pura e' uma sub-classe de Substancia |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 513-513 | HydrophilicLipidHead e' uma sub-classe de Substancia Pura |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 524-524 | HydrophobicLipidTail e' uma sub-classe de Substancia Pura |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21664-21664 | Ion e' uma sub-classe de Substancia Pura |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1093-1093 | Substancia Elementar e' uma sub-classe de Substancia Pura |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1173-1173 | Substancia Composta e' uma sub-classe de Substancia Pura |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2647-2647 | Defoliant e' uma sub-classe de Substancia Pura |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2735-2735 | GreenhouseGas e' uma sub-classe de Substancia Pura |
|
|