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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 12663-12664
No TPTP formula. May not be expressible in strict first order. Merge.kif 12662-12662 The number 2 argument of boiling point is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 12661-12661 The number 1 argument of boiling point is a subclass of pure substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 12660-12660 boiling point is an instance of binary predicate

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 11449-11449 "沸点" is the printable form of boiling point in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11448-11448 "沸點" is the printable form of boiling point in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11447-11447 "boiling point" is the printable form of boiling point in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12709-12722
No TPTP formula. May not be expressible in strict first order. Merge.kif 12699-12707
No TPTP formula. May not be expressible in strict first order. Merge.kif 12815-12827
No TPTP formula. May not be expressible in strict first order. Merge.kif 12731-12746
No TPTP formula. May not be expressible in strict first order. Merge.kif 12666-12675
No TPTP formula. May not be expressible in strict first order. Merge.kif 12677-12686
No TPTP formula. May not be expressible in strict first order. Merge.kif 12763-12767

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27504-27504 3470 Kelvin degree(s) is a boiling point of actinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27352-27352 2740 Kelvin degree(s) is a boiling point of aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27516-27516 2880 Kelvin degree(s) is a boiling point of americium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27428-27428 2023 Kelvin degree(s) is a boiling point of antimony
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27362-27362 87.29 Kelvin degree(s) is a boiling point of argon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27392-27392 886 Kelvin degree(s) is a boiling point of arsenic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27496-27496 610 Kelvin degree(s) is a boiling point of astatine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27438-27438 1913 Kelvin degree(s) is a boiling point of barium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27334-27334 3243 Kelvin degree(s) is a boiling point of beryllium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27492-27492 1833 Kelvin degree(s) is a boiling point of bismuth
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27336-27336 2823 Kelvin degree(s) is a boiling point of boron
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27396-27396 331.93 Kelvin degree(s) is a boiling point of bromine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27422-27422 1038 Kelvin degree(s) is a boiling point of cadmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27436-27436 963 Kelvin degree(s) is a boiling point of caesium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27366-27366 1760 Kelvin degree(s) is a boiling point of calcium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27338-27338 5100 Kelvin degree(s) is a boiling point of carbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27442-27442 3530 Kelvin degree(s) is a boiling point of cerium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27360-27360 238.55 Kelvin degree(s) is a boiling point of chlorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27374-27374 2755 Kelvin degree(s) is a boiling point of chromium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27380-27380 3143 Kelvin degree(s) is a boiling point of cobalt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27384-27384 2868 Kelvin degree(s) is a boiling point of copper
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27458-27458 2608 Kelvin degree(s) is a boiling point of dysprosium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27462-27462 2783 Kelvin degree(s) is a boiling point of erbium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27452-27452 1870 Kelvin degree(s) is a boiling point of europium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27344-27344 85.01 Kelvin degree(s) is a boiling point of fluorine

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners