ElementalSubstance
|
|
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 1095-1099 | |
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 1746-1746 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1093-1093 | 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 28807-28807 | Actinium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27473-27473 | Aluminum is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28913-28913 | Americium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28107-28107 | Antimony is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27556-27556 | Argon is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27804-27804 | Arsenic is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28740-28740 | Astatine is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1108-1108 | Atom is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28201-28201 | Barium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28947-28947 | Berkelium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27313-27313 | Beryllium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28705-28705 | Bismuth is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27329-27329 | Boron is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27835-27835 | Bromine is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28059-28059 | Cadmium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28175-28175 | Caesium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27587-27587 | Calcium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28964-28964 | Californium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27348-27348 | Carbon is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28237-28237 | Cerium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27539-27539 | Chlorine is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27661-27661 | Chromium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27707-27707 | Cobalt is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27738-27738 | Copper is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28930-28930 | 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 13772-13772 | The number 1 argument of atomic number is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1768-1768 | 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 1085-1085 | 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 12535-12545 |
|