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

Formal Language: 



KB Term:  Term intersection
English Word: 

  boilingPoint

Sigma KEE - boilingPoint
boilingPoint

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1418-1419
No TPTP formula. May not be expressible in strict first order. Merge.kif 13850-13851
No TPTP formula. May not be expressible in strict first order. Merge.kif 13849-13849 O argumento numero 2 de boilingPoint e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order. Merge.kif 13848-13848 O argumento numero 1 de boilingPoint e' uma sub-classe de Substancia Pura
No TPTP formula. May not be expressible in strict first order. Merge.kif 13847-13847 boilingPoint e' uma instancia de Predicado Binario

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 320-320
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 319-319
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 318-318
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11518-11518
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11517-11517
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11516-11516

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13896-13909
No TPTP formula. May not be expressible in strict first order. Merge.kif 13886-13894
No TPTP formula. May not be expressible in strict first order. Merge.kif 14008-14021
No TPTP formula. May not be expressible in strict first order. Merge.kif 13918-13933
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 13950-13954

appearance as argument number 0
-------------------------


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