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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - meltingPoint
meltingPoint

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


(documentation meltingPoint ChineseLanguage "这是当 PureSubstanceSolid 变成 Liquid 状态的温度。注:Arsenic 可以直接从 Solid 升华成 Gas,这意味着它的熔点和沸点是相等的。") chinese_format.kif 1420-1421
(documentation meltingPoint EnglishLanguage "The temperature at which a PureSubstance changes state from a Solid to a Liquid. Note that Arsenic can sublimate directly from Solid to Gas which means that its melting and boiling points are equal.") Merge.kif 12727-12729
(domain meltingPoint 2 TemperatureMeasure) Merge.kif 12726-12726 domain meltingPoint, 2 and TemperatureMeasure
(domainSubclass meltingPoint 1 PureSubstance) Merge.kif 12725-12725 domainSubclass meltingPoint, 1 and PureSubstance
(instance meltingPoint BinaryPredicate) Merge.kif 12724-12724 instance meltingPoint and BinaryPredicate

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


(format ChineseLanguage meltingPoint "%2 %n 是 %1 的 melting 点") domainEnglishFormat.kif 1679-1679
(format ChineseTraditionalLanguage meltingPoint "%2 %n 是 %1 的 melting 點") domainEnglishFormat.kif 1678-1678
(format EnglishLanguage meltingPoint "%2 is %n a melting point of %1") domainEnglishFormat.kif 1677-1677
(termFormat ChineseLanguage meltingPoint "熔点") domainEnglishFormat.kif 36907-36907 termFormat ChineseLanguage, meltingPoint and "熔点"
(termFormat ChineseTraditionalLanguage meltingPoint "熔點") domainEnglishFormat.kif 36906-36906 termFormat ChineseTraditionalLanguage, meltingPoint and "熔點"
(termFormat EnglishLanguage meltingPoint "melting point") domainEnglishFormat.kif 36905-36905 termFormat EnglishLanguage, meltingPoint and "melting point"

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


(=>
    (and
        (instance ?SUBSTANCE ?TYPE)
        (boilingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (meltingPoint ?TYPE
            (MeasureFn ?TEMP2 ?MEASURE))
        (instance ?MEASURE UnitOfTemperature)
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP3 ?MEASURE)))
        (greaterThan ?TEMP3 ?TEMP2)
        (lessThan ?TEMP3 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Liquid))
        (exists (?MELT)
            (and
                (overlapsTemporally
                    (WhenFn ?MELT) ?TIME)
                (instance ?MELT Melting)
                (patient ?MELT ?SUBSTANCE)))))
Merge.kif 12731-12746
(=>
    (and
        (instance ?SUBSTANCE ?TYPE)
        (meltingPoint ?TYPE
            (MeasureFn ?TEMP1 ?MEASURE))
        (holdsDuring ?TIME
            (measure ?SUBSTANCE
                (MeasureFn ?TEMP2 ?MEASURE)))
        (instance ?MEASURE UnitOfTemperature)
        (lessThan ?TEMP2 ?TEMP1))
    (or
        (holdsDuring ?TIME
            (attribute ?SUBSTANCE Solid))
        (exists (?FREEZE)
            (and
                (overlapsTemporally
                    (WhenFn ?FREEZE) ?TIME)
                (instance ?FREEZE Freezing)
                (patient ?FREEZE ?SUBSTANCE)))))
Merge.kif 12748-12761
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (boilingPoint ?Y
            (MeasureFn ?BOIL KelvinDegree))
        (meltingPoint ?Y
            (MeasureFn ?MELT KelvinDegree))
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (greaterThan ?TEMP ?MELT)
        (lessThan ?TEMP ?BOIL))
    (attribute ?X Liquid))
Merge.kif 12677-12686
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (meltingPoint ?Y
            (MeasureFn ?MELT KelvinDegree))
        (barometricPressure ?X
            (MeasureFn ?PRES InchMercury))
        (greaterThan ?PRES 29.92)
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (lessThan ?TEMP ?MELT))
    (attribute ?X Solid))
Merge.kif 12688-12697
(=>
    (and
        (meltingPoint ?TYPE ?MELT)
        (boilingPoint ?TYPE ?BOIL))
    (greaterThanOrEqualTo ?BOIL ?MELT))
Merge.kif 12763-12767

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


(meltingPoint Actinium
    (MeasureFn 1320 KelvinDegree))
Mid-level-ontology.kif 27503-27503 meltingPoint Actinium and MeasureFn 1320 and KelvinDegree
(meltingPoint Aluminum
    (MeasureFn 933.52 KelvinDegree))
Mid-level-ontology.kif 27351-27351 meltingPoint Aluminum and MeasureFn 933.52 and KelvinDegree
(meltingPoint Americium
    (MeasureFn 1267 KelvinDegree))
Mid-level-ontology.kif 27515-27515 meltingPoint Americium and MeasureFn 1267 and KelvinDegree
(meltingPoint Antimony
    (MeasureFn 903.89 KelvinDegree))
Mid-level-ontology.kif 27427-27427 meltingPoint Antimony and MeasureFn 903.89 and KelvinDegree
(meltingPoint Argon
    (MeasureFn 83.78 KelvinDegree))
Mid-level-ontology.kif 27361-27361 meltingPoint Argon and MeasureFn 83.78 and KelvinDegree
(meltingPoint Arsenic
    (MeasureFn 886 KelvinDegree))
Mid-level-ontology.kif 27391-27391 meltingPoint Arsenic and MeasureFn 886 and KelvinDegree
(meltingPoint Astatine
    (MeasureFn 575 KelvinDegree))
Mid-level-ontology.kif 27495-27495 meltingPoint Astatine and MeasureFn 575 and KelvinDegree
(meltingPoint Barium
    (MeasureFn 998 KelvinDegree))
Mid-level-ontology.kif 27437-27437 meltingPoint Barium and MeasureFn 998 and KelvinDegree
(meltingPoint Berkelium
    (MeasureFn 1259 KelvinDegree))
Mid-level-ontology.kif 27519-27519 meltingPoint Berkelium and MeasureFn 1259 and KelvinDegree
(meltingPoint Beryllium
    (MeasureFn 1551 KelvinDegree))
Mid-level-ontology.kif 27333-27333 meltingPoint Beryllium and MeasureFn 1551 and KelvinDegree
(meltingPoint Bismuth
    (MeasureFn 544.5 KelvinDegree))
Mid-level-ontology.kif 27491-27491 meltingPoint Bismuth and MeasureFn 544.5 and KelvinDegree
(meltingPoint Boron
    (MeasureFn 2573 KelvinDegree))
Mid-level-ontology.kif 27335-27335 meltingPoint Boron and MeasureFn 2573 and KelvinDegree
(meltingPoint Bromine
    (MeasureFn 265.9 KelvinDegree))
Mid-level-ontology.kif 27395-27395 meltingPoint Bromine and MeasureFn 265.9 and KelvinDegree
(meltingPoint Cadmium
    (MeasureFn 594.1 KelvinDegree))
Mid-level-ontology.kif 27421-27421 meltingPoint Cadmium and MeasureFn 594.1 and KelvinDegree
(meltingPoint Caesium
    (MeasureFn 301.55 KelvinDegree))
Mid-level-ontology.kif 27435-27435 meltingPoint Caesium and MeasureFn 301.55 and KelvinDegree
(meltingPoint Calcium
    (MeasureFn 1112 KelvinDegree))
Mid-level-ontology.kif 27365-27365 meltingPoint Calcium and MeasureFn 1112 and KelvinDegree
(meltingPoint Californium
    (MeasureFn 1173 KelvinDegree))
Mid-level-ontology.kif 27520-27520 meltingPoint Californium and MeasureFn 1173 and KelvinDegree
(meltingPoint Carbon
    (MeasureFn 3823 KelvinDegree))
Mid-level-ontology.kif 27337-27337 meltingPoint Carbon and MeasureFn 3823 and KelvinDegree
(meltingPoint Cerium
    (MeasureFn 1071 KelvinDegree))
Mid-level-ontology.kif 27441-27441 meltingPoint Cerium and MeasureFn 1071 and KelvinDegree
(meltingPoint Chlorine
    (MeasureFn 172.17 KelvinDegree))
Mid-level-ontology.kif 27359-27359 meltingPoint Chlorine and MeasureFn 172.17 and KelvinDegree
(meltingPoint Chromium
    (MeasureFn 2130 KelvinDegree))
Mid-level-ontology.kif 27373-27373 meltingPoint Chromium and MeasureFn 2130 and KelvinDegree
(meltingPoint Cobalt
    (MeasureFn 1768 KelvinDegree))
Mid-level-ontology.kif 27379-27379 meltingPoint Cobalt and MeasureFn 1768 and KelvinDegree
(meltingPoint Copper
    (MeasureFn 1356.6 KelvinDegree))
Mid-level-ontology.kif 27383-27383 meltingPoint Copper and MeasureFn 1356.6 and KelvinDegree
(meltingPoint Curium
    (MeasureFn 1613 KelvinDegree))
Mid-level-ontology.kif 27518-27518 meltingPoint Curium and MeasureFn 1613 and KelvinDegree
(meltingPoint Dysprosium
    (MeasureFn 1682 KelvinDegree))
Mid-level-ontology.kif 27457-27457 meltingPoint Dysprosium and MeasureFn 1682 and KelvinDegree

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