![]() |
![]() ![]()
|
![]() |
|
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 6730-6737 | |
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 6728-6728 | KelvinDegree e' uma instancia de Sistema International de Unidades |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6727-6727 | KelvinDegree e' uma instancia de UnitOfTemperature |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32322-32322 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32321-32321 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32320-32320 |
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 29674-29674 | boilingPoint Actinium and 3470.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29522-29522 | boilingPoint Aluminum and 2740.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29686-29686 | boilingPoint Americium and 2880.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29598-29598 | boilingPoint Antimony and 2023.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29532-29532 | boilingPoint Argon and 87.29 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29562-29562 | boilingPoint Arsenic and 886.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29666-29666 | boilingPoint Astatine and 610.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29608-29608 | boilingPoint Barium and 1913.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29504-29504 | boilingPoint Beryllium and 3243.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29662-29662 | boilingPoint Bismuth and 1833.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29506-29506 | boilingPoint Boron and 2823.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29566-29566 | boilingPoint Bromine and 331.93 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29592-29592 | boilingPoint Cadmium and 1038.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29606-29606 | boilingPoint Caesium and 963.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29536-29536 | boilingPoint Calcium and 1760.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29508-29508 | boilingPoint Carbon and 5100.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29612-29612 | boilingPoint Cerium and 3530.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29530-29530 | boilingPoint Chlorine and 238.55 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29544-29544 | boilingPoint Chromium and 2755.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29550-29550 | boilingPoint Cobalt and 3143.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29554-29554 | boilingPoint Copper and 2868.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29628-29628 | boilingPoint Dysprosium and 2608.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29632-29632 | boilingPoint Erbium and 2783.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29622-29622 | boilingPoint Europium and 1870.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29514-29514 | boilingPoint Fluorine and 85.01 KelvinDegree(s) |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |