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 引数は Food の instance では %n
(domain roastedToTemperature 2 RealNumber)	Food.kif 465-465	roastedToTemperature の数値 2 引数は実数の instance では %n
(instance roastedToTemperature BinaryPredicate)	Food.kif 460-460	roastedToTemperature は 2進述語の instance では %n

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 は roastedToTemperature に internally 関連して %n
(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 は CoffeeBean の instance では %n AmericanRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 210
(=> (and (instance ?B CoffeeBean) (attribute ?B CinnamonRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 196))	Food.kif 509-514	Food は CoffeeBean の instance では %n CinnamonRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 196
(=> (and (instance ?B CoffeeBean) (attribute ?B CityRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 219))	Food.kif 559-564	Food は CoffeeBean の instance では %n CityRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 219
(=> (and (instance ?B CoffeeBean) (attribute ?B DarkRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 225) (lessThanOrEqualTo ?T 245)))	Food.kif 571-578	Food は CoffeeBean の instance では %n DarkRoast は Food の attribute では %n roastedToTemperature Food and 実数実数は 225 greater では　%n 実数は 245 より less または同等では %n
(=> (and (instance ?B CoffeeBean) (attribute ?B FrenchRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 240))	Food.kif 609-614	Food は CoffeeBean の instance では %n FrenchRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 240
(=> (and (instance ?B CoffeeBean) (attribute ?B FullyCityRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 225))	Food.kif 585-590	Food は CoffeeBean の instance では %n FullyCityRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 225
(=> (and (instance ?B CoffeeBean) (attribute ?B ItalianRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 245))	Food.kif 621-626	Food は CoffeeBean の instance では %n ItalianRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 245
(=> (and (instance ?B CoffeeBean) (attribute ?B LightRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 196) (lessThanOrEqualTo ?T 205)))	Food.kif 495-502	Food は CoffeeBean の instance では %n LightRoast は Food の attribute では %n roastedToTemperature Food and 実数実数は 196 greater では　%n 実数は 205 より less または同等では %n
(=> (and (instance ?B CoffeeBean) (attribute ?B MediumRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 210) (lessThanOrEqualTo ?T 219)))	Food.kif 533-540	Food は CoffeeBean の instance では %n MediumRoast は Food の attribute では %n roastedToTemperature Food and 実数実数は 210 greater では　%n 実数は 219 より less または同等では %n
(=> (and (instance ?B CoffeeBean) (attribute ?B NewEnglandRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 205))	Food.kif 521-526	Food は CoffeeBean の instance では %n NewEnglandRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 205
(=> (and (instance ?B CoffeeBean) (attribute ?B ViennaRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 230))	Food.kif 597-602	Food は CoffeeBean の instance では %n ViennaRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 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 はオブジェクトの instance では %n roastedToTemperature Food and 実数工程工程は加熱の instance では %n Food は工程の patient では %n Food の measure は実数の CelsiusDegree(s) では %n は工程の time の existence の end の during holds %n{ない}
(=> (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 実数 Food は CoffeeBean の instance では %n 実数は実数の instance では %n ステートメントエンティティーエンティティーは DryRoasting の instance では %n Food はエンティティーの patient では %n には Likely の modal force がある

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