| ElementalSubstance(elemental substance)
| | Bh, Db, Ds, Hs, LOX, Mt, Rf, Rg, Sg, Unq, Uub, Uuh, Uup, Uuq, Uut, actinide_series, activated_carbon, activated_charcoal, acyl, acyl_group, alcohol_group, alcohol_radical, aldehyde_group, aldehyde_radical, allotrope, allotropic, allotropical, allotropism, allotropy, alpha_iron, aluminous, amino, amino_group, amyl, antimonic, antimonious, argonon, atomic_number_104, atomic_number_105, atomic_number_106, atomic_number_107, atomic_number_108, atomic_number_109, atomic_number_110, atomic_number_111, atomic_number_112, atomic_number_113, atomic_number_114, atomic_number_115, atomic_number_116... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1599-1602 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1090-1094 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 178-181 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 211-215 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1745-1745 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1088-1088 | Elemental substance is a subclass of pure substance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30728-30728 | Actinium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29394-29394 | Aluminum is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30834-30834 | Americium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30028-30028 | Antimony is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29477-29477 | Argon is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29725-29725 | Arsenic is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30661-30661 | Astatine is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1103-1103 | Atom is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30122-30122 | Barium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30868-30868 | Berkelium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29234-29234 | Beryllium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30626-30626 | Bismuth is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29250-29250 | Boron is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29756-29756 | Bromine is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29980-29980 | Cadmium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30096-30096 | Caesium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29508-29508 | Calcium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30885-30885 | Californium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29269-29269 | Carbon is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30158-30158 | Cerium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29460-29460 | Chlorine is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29582-29582 | Chromium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29628-29628 | Cobalt is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29659-29659 | Copper is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30851-30851 | Curium is a subclass of elemental substance |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13910-13910 | The number 1 argument of atomic number is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23352-23352 | The number 1 argument of molecular ratio is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1080-1080 | Pure substance is exhaustively partitioned into compound substance and elemental substance |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12674-12684 |
|
|
|
|