Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  KelvinDegree

Sigma KEE - KelvinDegree
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 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13853-13862
No TPTP formula. May not be expressible in strict first order. Merge.kif 13864-13873
No TPTP formula. May not be expressible in strict first order. Merge.kif 13875-13884

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners