|
|
  KelvinDegree
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2500-2503 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6735-6742 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1197-1201 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6733-6733 | KelvinDegree est une instance de syst�me d'unit� international |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6732-6732 | KelvinDegree est une instance de UnitOfTemperature |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32293-32293 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32292-32292 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32291-32291 |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2680-2690 | Entit� est une instance de r�gion entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel airTemperature entit� and 298.15 KelvinDegree(s) barometricPressure entit� and 29.530 InchMercury(s) pendant position temporel |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29358-29358 | boilingPoint Actinium and 3470.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29206-29206 | boilingPoint Aluminum and 2740.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29370-29370 | boilingPoint Americium and 2880.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29282-29282 | boilingPoint Antimony and 2023.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29216-29216 | boilingPoint Argon and 87.29 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29246-29246 | boilingPoint Arsenic and 886.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29350-29350 | boilingPoint Astatine and 610.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29292-29292 | boilingPoint Barium and 1913.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29188-29188 | boilingPoint Beryllium and 3243.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29346-29346 | boilingPoint Bismuth and 1833.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29190-29190 | boilingPoint Boron and 2823.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29250-29250 | boilingPoint Bromine and 331.93 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29276-29276 | boilingPoint Cadmium and 1038.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29290-29290 | boilingPoint Caesium and 963.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29220-29220 | boilingPoint Calcium and 1760.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29192-29192 | boilingPoint Carbon and 5100.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29296-29296 | boilingPoint Cerium and 3530.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29214-29214 | boilingPoint Chlorine and 238.55 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29228-29228 | boilingPoint Chromium and 2755.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29234-29234 | boilingPoint Cobalt and 3143.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29238-29238 | boilingPoint Copper and 2868.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29312-29312 | boilingPoint Dysprosium and 2608.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29316-29316 | boilingPoint Erbium and 2783.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29306-29306 | boilingPoint Europium and 1870.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29198-29198 | boilingPoint Fluorine and 85.01 KelvinDegree(s) |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|