TreeView Knowledge Base Browser - roastedToTemperature

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

roastedToTemperature

Sigma KEE - roastedToTemperature

roastedToTemperature

appearance as argument number 1

(documentation roastedToTemperature EnglishLanguage "roastedToTemperature is a BinaryRelation linking the temperature in Celsius of the Object that are roasted to.")	Food.kif 461-462
(domain roastedToTemperature 1 Food)	Food.kif 464-464	域 roastedToTemperature, 1 and Food
(domain roastedToTemperature 2 RealNumber)	Food.kif 465-465	域 roastedToTemperature, 2 and RealNumber
(instance roastedToTemperature BinaryPredicate)	Food.kif 460-460	例 roastedToTemperature and BinaryPredicate

appearance as argument number 2

(format EnglishLanguage roastedToTemperature "%2 is the temperature at which %1 is roasted to")	Food.kif 466-466
(relatedInternalConcept optimalGrindSizeForMakingCoffee roastedToTemperature)	Food.kif 719-719	相關的內部概念 optimalGrindSizeForMakingCoffee and roastedToTemperature
(termFormat EnglishLanguage roastedToTemperature "roasted to temperature")	Food.kif 463-463

antecedent

(=> (and (instance ?B CoffeeBean) (attribute ?B AmericanRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 210))	Food.kif 547-552	例 Food and 咖啡豆 attribute Food and AmericanRoast roastedToTemperature Food and RealNumber approximateValue RealNumber and 210
(=> (and (instance ?B CoffeeBean) (attribute ?B CinnamonRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 196))	Food.kif 509-514	例 Food and 咖啡豆 attribute Food and CinnamonRoast roastedToTemperature Food and RealNumber approximateValue RealNumber and 196
(=> (and (instance ?B CoffeeBean) (attribute ?B CityRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 219))	Food.kif 559-564	例 Food and 咖啡豆 attribute Food and CityRoast roastedToTemperature Food and RealNumber approximateValue RealNumber and 219
(=> (and (instance ?B CoffeeBean) (attribute ?B DarkRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 225) (lessThanOrEqualTo ?T 245)))	Food.kif 571-578	例 Food and 咖啡豆 attribute Food and DarkRoast roastedToTemperature Food and RealNumber 大於或等於 RealNumber and 225 小於或等於 RealNumber and 245
(=> (and (instance ?B CoffeeBean) (attribute ?B FrenchRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 240))	Food.kif 609-614	例 Food and 咖啡豆 attribute Food and FrenchRoast roastedToTemperature Food and RealNumber approximateValue RealNumber and 240
(=> (and (instance ?B CoffeeBean) (attribute ?B FullyCityRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 225))	Food.kif 585-590	例 Food and 咖啡豆 attribute Food and FullyCityRoast roastedToTemperature Food and RealNumber approximateValue RealNumber and 225
(=> (and (instance ?B CoffeeBean) (attribute ?B ItalianRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 245))	Food.kif 621-626	例 Food and 咖啡豆 attribute Food and ItalianRoast roastedToTemperature Food and RealNumber approximateValue RealNumber and 245
(=> (and (instance ?B CoffeeBean) (attribute ?B LightRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 196) (lessThanOrEqualTo ?T 205)))	Food.kif 495-502	例 Food and 咖啡豆 attribute Food and LightRoast roastedToTemperature Food and RealNumber 大於或等於 RealNumber and 196 小於或等於 RealNumber and 205
(=> (and (instance ?B CoffeeBean) (attribute ?B MediumRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 210) (lessThanOrEqualTo ?T 219)))	Food.kif 533-540	例 Food and 咖啡豆 attribute Food and MediumRoast roastedToTemperature Food and RealNumber 大於或等於 RealNumber and 210 小於或等於 RealNumber and 219
(=> (and (instance ?B CoffeeBean) (attribute ?B NewEnglandRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 205))	Food.kif 521-526	例 Food and 咖啡豆 attribute Food and NewEnglandRoast roastedToTemperature Food and RealNumber approximateValue RealNumber and 205
(=> (and (instance ?B CoffeeBean) (attribute ?B ViennaRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 230))	Food.kif 597-602	例 Food and 咖啡豆 attribute Food and ViennaRoast roastedToTemperature Food and RealNumber approximateValue RealNumber and 230
(=> (and (instance ?B Object) (roastedToTemperature ?B ?T)) (exists (?H) (and (instance ?H Heating) (patient ?H ?B) (holdsDuring (EndFn (WhenFn ?H)) (measure ?B (MeasureFn ?T CelsiusDegree))))))	Food.kif 468-478	例 Food and Object roastedToTemperature Food and RealNumber Process 例 Process and Heating 患者 Process and Food 持有期間結束何時 Process and 測量 Food and 測量 RealNumber and 攝氏度
(=> (and (roastedToTemperature ?B ?T) (instance ?B CoffeeBean) (instance ?T RealNumber)) (modalAttribute (exists (?R) (and (instance ?R DryRoasting) (patient ?R ?B))) Likely))	Food.kif 479-488	roastedToTemperature Food and RealNumber 例 Food and 咖啡豆例 RealNumber and RealNumber 模態屬性 entity 例 entity and DryRoasting 患者 entity and Food and 容易

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