FahrenheitDegree - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - FahrenheitDegree

FahrenheitDegree(华氏度)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2612-2613
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7322-7325
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1325-1327
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7320-7320	华氏度是 UnitOfTemperature 的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23158-23158
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23157-23157
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23156-23156

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	如果过程是 CheckingVitals 的 instance 和有认知的主事是那个过程的 agent 和客体是那个过程的 patient 和心是心的 instance 和那个心是那个客体的 part 和肺是肺的 instance 和那个肺是那个客体的 part 和 systolicBloodPressure 那个客体 and 实体和 diastolicBloodPressure 那个客体 and 另一个实体和那个客体的 measure 是第三实体华氏度在那个过程出现的 time holdsDuring 和 heartRate 那个心, 那个过程出现的 time and 整数和 breathingRate 那个肺, 那个过程出现的 time and 另一个整数，然后那个有认知的主事 knows systolicBloodPressure 那个客体 and 那个实体和 diastolicBloodPressure 那个客体 and 那个另外实体和那个客体的 measure 是那个第三实体华氏度在那个过程出现的 time holdsDuring 和 heartRate 那个心, 那个过程出现的 time and 那个整数和 breathingRate 那个肺, 那个过程出现的 time and 那个另外整数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2986-2992	如果实体是 Grease 的 instance 和那个实体的 measure 是 77 华氏度在时间位置 holdsDuring，然后固体是那个实体的 attribute 在那个时间位置 holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	如果过程是 CheckingVitals 的 instance 和有认知的主事是那个过程的 agent 和客体是那个过程的 patient 和心是心的 instance 和那个心是那个客体的 part 和肺是肺的 instance 和那个肺是那个客体的 part 和 systolicBloodPressure 那个客体 and 实体和 diastolicBloodPressure 那个客体 and 另一个实体和那个客体的 measure 是第三实体华氏度在那个过程出现的 time holdsDuring 和 heartRate 那个心, 那个过程出现的 time and 整数和 breathingRate 那个肺, 那个过程出现的 time and 另一个整数，然后那个有认知的主事 knows systolicBloodPressure 那个客体 and 那个实体和 diastolicBloodPressure 那个客体 and 那个另外实体和那个客体的 measure 是那个第三实体华氏度在那个过程出现的 time holdsDuring 和 heartRate 那个心, 那个过程出现的 time and 那个整数和 breathingRate 那个肺, 那个过程出现的 time and 那个另外整数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6161-6169	如果客体是人类的 instance 和发热是那个客体的 attribute，然后有存在实数这样那个客体的 measure 是那个实数华氏度和那个实数是 greaterThan 98.6
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1110-1117	如果客体是人类的 instance 和发热是那个客体的 attribute，然后有存在实数这样那个客体的 measure 是那个实数华氏度和那个实数是 greaterThan 98.6
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31678-31689	如果 roomTempState 有点物质 and 物质状态和物理是有点物质的 instance 和 roomTempState 那个有点物质 and 液体在时间位置 holdsDuring 和那个物理的 measure 是 101 帕斯卡的一千倍，然后那个物理的 measure 是 68 华氏度在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5645-5652	如果 LowBodyTemperature 是实体的 attribute 在时间位置 holdsDuring，然后那个实体的 measure 是另一个实体华氏度和那个另外实体是 lessThan 97 在那个时间位置 holdsDuring

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 7012-7014

实数摄氏度 equal (那个实数和 32.0) 和 1.8 华氏度

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