Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Fishing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CoffeeBean Seed) | Economy.kif 4957-4957 | Coffee bean is a subclass of seed |
| (subclass CoffeeBean FoodFromPlant) | Economy.kif 4958-4958 | Coffee bean is a subclass of food from a plant |
| (documentation CoffeeBean EnglishLanguage "A CoffeeBean is a seed of the CoffeePlant and the source for coffee.") | Economy.kif 4959-4960 | Coffee bean is a subclass of food from a plant |
| (subclass CoffeeBean PlantAgriculturalArtifact) | Society.kif 996-996 | Coffee bean is a subclass of PlantAgriculturalArtifact |
| (externalImage CoffeeBean "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c5/ Roasted_coffee_beans.jpg/ 800px_Roasted_coffee_beans.jpg") | pictureList.kif 1433-1433 | Coffee bean is a subclass of PlantAgriculturalArtifact |
| appearance as argument number 2 |
|
|
| (subclass CoffeeArabica CoffeeBean) | Economy.kif 4969-4969 | Coffee arabica is a subclass of coffee bean |
| (subclass CoffeeRobusta CoffeeBean) | Economy.kif 4993-4993 | Coffee robusta is a subclass of coffee bean |
| (initialPart Coffee CoffeeBean) | Food.kif 610-610 | Every coffee is initially part of a coffee bean |
| (termFormat EnglishLanguage CoffeeBean "coffee bean") | domainEnglishFormat.kif 15500-15500 | Every coffee is initially part of a coffee bean |
| (termFormat ChineseTraditionalLanguage CoffeeBean "咖啡豆") | domainEnglishFormat.kif 15501-15501 | Every coffee is initially part of a coffee bean |
| (termFormat ChineseLanguage CoffeeBean "咖啡豆") | domainEnglishFormat.kif 15502-15502 | Every coffee is initially part of a coffee bean |
| antecedent |
|
|
| (=> (and (equal ?B (OrganicObjectFn ?P)) (subclass ?B CoffeeBean) (subclass ?P Seed)) (initialPart ?P CoffeePlant)) |
Economy.kif 4962-4967 | If equal X and Object made from Y, X is a subclass of coffee bean, and Y is a subclass of seed, then every Y is initially part of a coffee plant |
| (=> (and (instance ?C CoffeeBean) (attribute ?C ?R)) (instance ?R CoffeeRoastAttribute)) |
Food.kif 430-434 | If X is an instance of coffee bean and Y is an attribute of X, then Y is an instance of coffee roast attribute |
| (=> (and (roastedToTemperature ?B ?T) (instance ?B CoffeeBean) (instance ?T RealNumber)) (modalAttribute (exists (?R) (and (instance ?R DryRoasting) (patient ?R ?B))) Likely)) |
Food.kif 455-464 | If X is the temperature at which Y is roasted to, Y is an instance of coffee bean, and X is an instance of real number, then the statement there exists Z such that Z is an instance of dry roasting and Y is a patient of Z has the modal force of likely |
| (=> (and (instance ?B CoffeeBean) (attribute ?B LightRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 196) (lessThanOrEqualTo ?T 205))) |
Food.kif 471-478 | If X is an instance of coffee bean, light roast is an attribute of X, and Y is the temperature at which X is roasted to, then Y is greater than or equal to 196 and Y is less than or equal to 205 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B CinnamonRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 196)) |
Food.kif 485-490 | If X is an instance of coffee bean, cinnamon roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 196 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B NewEnglandRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 205)) |
Food.kif 497-502 | If X is an instance of coffee bean, New England roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 205 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B MediumRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 210) (lessThanOrEqualTo ?T 219))) |
Food.kif 509-516 | If X is an instance of coffee bean, medium roast is an attribute of X, and Y is the temperature at which X is roasted to, then Y is greater than or equal to 210 and Y is less than or equal to 219 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B AmericanRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 210)) |
Food.kif 523-528 | If X is an instance of coffee bean, American roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 210 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B CityRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 219)) |
Food.kif 535-540 | If X is an instance of coffee bean, city roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 219 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B DarkRoast) (roastedToTemperature ?B ?T)) (and (greaterThanOrEqualTo ?T 225) (lessThanOrEqualTo ?T 245))) |
Food.kif 547-554 | If X is an instance of coffee bean, dark roast is an attribute of X, and Y is the temperature at which X is roasted to, then Y is greater than or equal to 225 and Y is less than or equal to 245 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B FullyCityRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 225)) |
Food.kif 561-566 | If X is an instance of coffee bean, full city roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 225 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B ViennaRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 230)) |
Food.kif 573-578 | If X is an instance of coffee bean, Vienna roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 230 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B FrenchRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 240)) |
Food.kif 585-590 | If X is an instance of coffee bean, French roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 240 |
| (=> (and (instance ?B CoffeeBean) (attribute ?B ItalianRoast) (roastedToTemperature ?B ?T)) (approximateValue ?T 245)) |
Food.kif 597-602 | If X is an instance of coffee bean, Italian roast is an attribute of X, and Y is the temperature at which X is roasted to, then the approximate value of Y is 245 |
| consequent |
|
|
|
