|
|
  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 6736-6743 | |
| 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 6734-6734 | KelvinDegree e' uma instancia de Sistema International de Unidades |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6733-6733 | KelvinDegree e' uma instancia 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 2663-2673 | Entidade e' uma instancia de Regiao Entidade tem um atributo de StandardAmbientTemperaturePressure vale durante Posicao Temporal airTemperature Entidade and 298.15 KelvinDegree(s) barometricPressure Entidade and 29.530 InchMercury(s) vale durante Posicao Temporal |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29409-29409 | boilingPoint Actinium and 3470.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29257-29257 | boilingPoint Aluminum and 2740.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29421-29421 | boilingPoint Americium and 2880.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29333-29333 | boilingPoint Antimony and 2023.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29267-29267 | boilingPoint Argon and 87.29 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29297-29297 | boilingPoint Arsenic and 886.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29401-29401 | boilingPoint Astatine and 610.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29343-29343 | boilingPoint Barium and 1913.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29239-29239 | boilingPoint Beryllium and 3243.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29397-29397 | boilingPoint Bismuth and 1833.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29241-29241 | boilingPoint Boron and 2823.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29301-29301 | boilingPoint Bromine and 331.93 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29327-29327 | boilingPoint Cadmium and 1038.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29341-29341 | boilingPoint Caesium and 963.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29271-29271 | boilingPoint Calcium and 1760.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29243-29243 | boilingPoint Carbon and 5100.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29347-29347 | boilingPoint Cerium and 3530.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29265-29265 | boilingPoint Chlorine and 238.55 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29279-29279 | boilingPoint Chromium and 2755.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29285-29285 | boilingPoint Cobalt and 3143.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29289-29289 | boilingPoint Copper and 2868.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29363-29363 | boilingPoint Dysprosium and 2608.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29367-29367 | boilingPoint Erbium and 2783.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29357-29357 | boilingPoint Europium and 1870.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29249-29249 | boilingPoint Fluorine and 85.01 KelvinDegree(s) |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|