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 | Pure substance is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 513-513 | Hydrophilic lipid head is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 524-524 | Hydrophobic lipid tail is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21664-21664 | Ion is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1093-1093 | Elemental substance is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1173-1173 | Compound substance is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2647-2647 | Defoliant is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2735-2735 | Greenhouse gas is a subclass of pure substance |