ElementalSubstance(Substancia Elementar) |
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 | Substancia Elementar e' uma sub-classe de Substancia Pura |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28858-28858 | Actinium e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27524-27524 | Aluminum e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28964-28964 | Americium e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28158-28158 | Antimony e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27607-27607 | Argon e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27855-27855 | Arsenic e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28791-28791 | Astatine e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1108-1108 | Atomo e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28252-28252 | Barium e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28998-28998 | Berkelium e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27364-27364 | Beryllium e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28756-28756 | Bismuth e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27380-27380 | Boron e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27886-27886 | Bromine e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28110-28110 | Cadmium e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28226-28226 | Caesium e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27638-27638 | Calcium e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29015-29015 | Californium e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27399-27399 | Carbon e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28288-28288 | Cerium e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27590-27590 | Chlorine e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27712-27712 | Chromium e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27758-27758 | Cobalt e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27789-27789 | Copper e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28981-28981 | Curium e' uma sub-classe de Substancia Elementar |
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 13818-13818 | O argumento numero 1 de atomicNumber e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21762-21762 | O argumento numero 1 de molecularRatio e' uma sub-classe de Substancia Elementar |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1085-1085 | O conceito Substancia Pura e' completamente decomposto em Substancia Composta + Substancia Elementar |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12581-12591 |
|