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 13881-13883 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13880-13880 | Le nombre 2 argument de meltingPoint est une instance de mesure de temperature |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13879-13879 | Le nombre 1 argument de meltingPoint est une sous-classe de substance pure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13878-13878 | meltingPoint est une instance de pr�dicat binaire |
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 29345-29345 | meltingPoint Actinium and 1320.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29193-29193 | meltingPoint Aluminum and 933.52 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29357-29357 | meltingPoint Americium and 1267.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29269-29269 | meltingPoint Antimony and 903.89 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29203-29203 | meltingPoint Argon and 83.78 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29233-29233 | meltingPoint Arsenic and 886.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29337-29337 | meltingPoint Astatine and 575.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29279-29279 | meltingPoint Barium and 998.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29361-29361 | meltingPoint Berkelium and 1259.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29175-29175 | meltingPoint Beryllium and 1551.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29333-29333 | meltingPoint Bismuth and 544.5 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29177-29177 | meltingPoint Boron and 2573.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29237-29237 | meltingPoint Bromine and 265.9 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29263-29263 | meltingPoint Cadmium and 594.1 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29277-29277 | meltingPoint Caesium and 301.55 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29207-29207 | meltingPoint Calcium and 1112.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29362-29362 | meltingPoint Californium and 1173.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29179-29179 | meltingPoint Carbon and 3823.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29283-29283 | meltingPoint Cerium and 1071.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29201-29201 | meltingPoint Chlorine and 172.17 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29215-29215 | meltingPoint Chromium and 2130.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29221-29221 | meltingPoint Cobalt and 1768.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29225-29225 | meltingPoint Copper and 1356.6 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29360-29360 | meltingPoint Curium and 1613.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29299-29299 | meltingPoint Dysprosium and 1682.0 KelvinDegree(s) |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |