| 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 13809-13818 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13798-13807 |
|
| 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 514-514 | HydrophilicLipidHead e' uma sub-classe de Substancia Pura |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 525-525 | HydrophobicLipidTail e' uma sub-classe de Substancia Pura |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21665-21665 | 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 |
|
|