PureSubstance(pure substance)![]() | ![]() | acetonic, acetylenic, acetylic, achlorhydric, aeolotropic, alkylic, allomerous, allylic, anhydrous, anisotropic, arsenical, bivalent, critical, divalent, eolotropic, heavy, hydrated, hydrous, identical, isotropic, isotropous, ligand, light, monovalent, multivalent, noncritical, pentavalent, polyvalent, supercritical, tetravalent, trivalent, univalent |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1595-1598 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1097-1101 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 174-177 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 206-210 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 910-910 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1095-1095 | Pure substance is exhaustively partitioned into compound substance and elemental substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1094-1094 | Pure substance is a subclass of substance |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1052-1052 | Substance is exhaustively partitioned into pure substance and mixture |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1183-1183 | Compound substance is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2805-2805 | Defoliant is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1103-1103 | Elemental substance is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2893-2893 | Greenhouse gas is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 518-518 | Hydrophilic lipid head is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 529-529 | Hydrophobic lipid tail is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23282-23282 | Ion is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 818-818 | Ion is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 838-838 | Ion is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 494-494 | Ion is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 27-27 | Ion is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 30-30 | Ion is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2179-2179 | Ion is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 446-446 | Ion is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 31-31 | Ion is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 61-61 | Ion is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 320-320 | Ion is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 515-515 | Ion is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 31-31 | Ion is a subclass of pure substance |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23325-23325 | The number 1 argument of electron number is an instance of pure substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23300-23300 | The number 1 argument of proton number is an instance of pure substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13946-13946 | The number 1 argument of boiling point is a subclass of pure substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14010-14010 | The number 1 argument of melting point is a subclass of pure substance |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |