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 | Pure substance is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 514-514 | Hydrophilic lipid head is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 525-525 | Hydrophobic lipid tail is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21665-21665 | 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 |