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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TemperatureMeasure
TemperatureMeasure(MisuraDiTemperatura)

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


(documentation TemperatureMeasure ChineseLanguage "这是用来量度温度的,科学上来说,一件东西的温度 是构成这个东西原子或分子的平均速度。") chinese_format.kif 2415-2416
(documentation TemperatureMeasure EnglishLanguage "Measures of temperature. In scientific circles, the temperature of something is understood as the average velocity of the atoms or molecules that make up the thing.") Merge.kif 6292-6294
(documentation TemperatureMeasure JapaneseLanguage "温度の測定。科学界では、何かの温度は、物事 を構成する原子や分子の平均速度として理解されている。") japanese_format.kif 1102-1103
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 6290-6290 MisuraDiTemperatura è una sottoclasse di Quantit�Costante

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


(termFormat ChineseLanguage TemperatureMeasure "温度测量") chinese_format.kif 1307-1307
(termFormat EnglishLanguage TemperatureMeasure "temperature measure") english_format.kif 1831-1831
(termFormat FrenchLanguage TemperatureMeasure "mesure de temperature") french_format.kif 985-985
(termFormat Hindi TemperatureMeasure "taapa maapa") terms-hindi.txt 520-520
(termFormat ItalianLanguage TemperatureMeasure "MisuraDiTemperatura") terms-it.txt 524-524
(termFormat JapaneseLanguage TemperatureMeasure "温度測定") japanese_format.kif 2669-2669
(termFormat PortugueseLanguage TemperatureMeasure "Medida de Temperatura") portuguese_format.kif 937-937
(termFormat cb TemperatureMeasure "kainiton-kabugnawon sukod sa panahon") terms-cb.txt 526-526
(termFormat cz TemperatureMeasure "temperature measure") terms-cz.txt 560-560
(termFormat ro TemperatureMeasure "mãsurã de temperaturã") relations-ro.kif 1006-1006
(termFormat tg TemperatureMeasure "sukat ng temperatura") terms-tg.txt 525-525

appearance as argument number 3
-------------------------


(domain airTemperature 2 TemperatureMeasure) Mid-level-ontology.kif 25707-25707 Il numero 2 argomenti di airTemperature è un istanza di MisuraDiTemperatura
(domain averageTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 971-971 Il numero 3 argomenti di averageTemperatureForPeriod è un istanza di MisuraDiTemperatura
(domain boilingPoint 2 TemperatureMeasure) Merge.kif 13840-13840 Il numero 2 argomenti di boilingPoint è un istanza di MisuraDiTemperatura
(domain coreBodyTemp 2 TemperatureMeasure) Medicine.kif 507-507 Il numero 2 argomenti di coreBodyTemp è un istanza di MisuraDiTemperatura
(domain highestTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 983-983 Il numero 3 argomenti di highestTemperatureForPeriod è un istanza di MisuraDiTemperatura
(domain lowestTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 995-995 Il numero 3 argomenti di lowestTemperatureForPeriod è un istanza di MisuraDiTemperatura
(domain maxDeviceOperatingTemp 2 TemperatureMeasure) ComputingBrands.kif 3621-3621 Il numero 2 argomenti di maxDeviceOperatingTemp è un istanza di MisuraDiTemperatura
(domain maxDeviceStorageTemp 2 TemperatureMeasure) ComputingBrands.kif 3649-3649 Il numero 2 argomenti di maxDeviceStorageTemp è un istanza di MisuraDiTemperatura
(domain meltingPoint 2 TemperatureMeasure) Merge.kif 13904-13904 Il numero 2 argomenti di meltingPoint è un istanza di MisuraDiTemperatura
(domain minDeviceOperatingTemp 2 TemperatureMeasure) ComputingBrands.kif 3674-3674 Il numero 2 argomenti di minDeviceOperatingTemp è un istanza di MisuraDiTemperatura
(domain minDeviceStorageTemp 2 TemperatureMeasure) ComputingBrands.kif 3699-3699 Il numero 2 argomenti di minDeviceStorageTemp è un istanza di MisuraDiTemperatura

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


(=>
    (and
        (instance ?BTS BimetalTemperatureSensor)
        (instance ?M1 Metal)
        (instance ?M2 Metal)
        (not
            (equal ?M1 ?M2))
        (part ?M1 ?BTS)
        (part ?M2 ?BTS)
        (instance ?T1 TemperatureMeasure)
        (instance ?T2 TemperatureMeasure)
        (instance ?L1 LengthMeasure)
        (instance ?L2 LengthMeasure)
        (instance ?L3 LengthMeasure)
        (instance ?L4 LengthMeasure)
        (not
            (equal ?T1 ?T2))
        (not
            (equal ?TM1 ?TM2))
        (holdsDuring ?TM1
            (and
                (measure ?BTS ?T1)
                (measure ?M1 ?L1)
                (measure ?M2 ?L2)))
        (holdsDuring ?TM2
            (and
                (measure ?BTS ?T2)
                (measure ?M1 ?L3)
                (measure ?M2 ?L4))))
    (not
        (equal
            (DivisionFn ?L1 ?L2)
            (DivisionFn ?L3 ?L4))))
Cars.kif 4066-4098

consequent
-------------------------


(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y TemperatureAttribute)
        (instance ?X Object))
    (exists (?TEMP)
        (and
            (measure ?X ?TEMP)
            (instance ?TEMP TemperatureMeasure)
            (attribute ?TEMP ?Y))))
Mid-level-ontology.kif 25720-25729
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfTemperature))
    (instance ?QUANT TemperatureMeasure))
Merge.kif 6383-6387
(=>
    (and
        (immediateInstance ?X ?CLASS)
        (immediateInstance ?Y ?CLASS)
        (attribute ?X ColdTemperature)
        (attribute ?Y HotTemperature))
    (exists (?TEMPX ?TEMPY ?UNIT)
        (and
            (measure ?X
                (MeasureFn ?TEMPX ?UNIT))
            (instance ?UNIT UnitOfTemperature)
            (instance ?TEMPX TemperatureMeasure)
            (measure ?Y
                (MeasureFn ?TEMPY ?UNIT))
            (instance ?TEMPY TemperatureMeasure)
            (greaterThan ?TEMPY ?TEMPX))))
Mid-level-ontology.kif 25755-25770
(=>
    (and
        (instance ?COOL Cooling)
        (patient ?COOL ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
        (and
            (instance ?UNIT TemperatureMeasure)
            (holdsDuring
                (BeginFn
                    (WhenFn ?COOL))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT1))
            (holdsDuring
                (EndFn
                    (WhenFn ?COOL))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT2))
            (lessThan ?QUANT2 ?QUANT1))))
Merge.kif 10995-11008
(=>
    (and
        (instance ?HEAT Heating)
        (patient ?HEAT ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
        (and
            (instance ?UNIT TemperatureMeasure)
            (holdsDuring
                (BeginFn
                    (WhenFn ?HEAT))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT1))
            (holdsDuring
                (EndFn
                    (WhenFn ?HEAT))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT2))
            (greaterThan ?QUANT2 ?QUANT1))))
Merge.kif 10954-10967
(=>
    (and
        (instance ?M Measuring)
        (result ?M ?Q)
        (instrument ?M ?T)
        (instance ?T Thermometer))
    (instance ?Q TemperatureMeasure))
Mid-level-ontology.kif 2915-2921
(=>
    (and
        (instance ?MEASURE Measuring)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?THERMOMETER)
        (instance ?THERMOMETER Thermometer))
    (instance ?QUANTITY TemperatureMeasure))
Mid-level-ontology.kif 2903-2909


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 3.0 is open source software produced by Articulate Software and its partners