meltingPoint |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1420-1421 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13859-13861 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13858-13858 | O argumento numero 2 de meltingPoint e' uma instancia de Medida de Temperatura |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13857-13857 | O argumento numero 1 de meltingPoint e' uma sub-classe de Substancia Pura |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13856-13856 | meltingPoint e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1679-1679 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1678-1678 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1677-1677 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36983-36983 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36982-36982 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36981-36981 |
antecedent |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29357-29357 | meltingPoint Actinium and 1320.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29205-29205 | meltingPoint Aluminum and 933.52 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29369-29369 | meltingPoint Americium and 1267.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29281-29281 | meltingPoint Antimony and 903.89 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29215-29215 | meltingPoint Argon and 83.78 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29245-29245 | meltingPoint Arsenic and 886.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29349-29349 | meltingPoint Astatine and 575.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29291-29291 | meltingPoint Barium and 998.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29373-29373 | meltingPoint Berkelium and 1259.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29187-29187 | meltingPoint Beryllium and 1551.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29345-29345 | meltingPoint Bismuth and 544.5 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29189-29189 | meltingPoint Boron and 2573.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29249-29249 | meltingPoint Bromine and 265.9 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29275-29275 | meltingPoint Cadmium and 594.1 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29289-29289 | meltingPoint Caesium and 301.55 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29219-29219 | meltingPoint Calcium and 1112.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29374-29374 | meltingPoint Californium and 1173.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29191-29191 | meltingPoint Carbon and 3823.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29295-29295 | meltingPoint Cerium and 1071.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29213-29213 | meltingPoint Chlorine and 172.17 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29227-29227 | meltingPoint Chromium and 2130.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29233-29233 | meltingPoint Cobalt and 1768.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29237-29237 | meltingPoint Copper and 1356.6 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29372-29372 | meltingPoint Curium and 1613.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29311-29311 | meltingPoint Dysprosium and 1682.0 KelvinDegree(s) |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |