Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FoodRating(food rating) |
| appearance as argument number 1 |
|
| (subclass FoodRating RatingAttribute) | Hotel.kif 3064-3064 | Food rating is a subclass of rating attribute |
| (documentation FoodRating EnglishLanguage "FoodRating is a SubjectiveAssessmentAttribute specifically targeted the overall quality of Food") | Hotel.kif 3065-3066 | Food rating is a subclass of rating attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FoodRating "food rating") | domainEnglishFormat.kif 64883-64883 |
| antecedent |
|
|
| (=> (instance ?RATING FoodRating) (hasPurpose ?RATING (exists (?C ?FOOD) (and (instance ?C Classifying) (destination ?C ?FOOD) (patient ?C ?RATING) (instance ?FOOD PreparedFood))))) |
Hotel.kif 3070-3078 | If X is an instance of food rating, then X has the purpose there exist Y, Z such that Y is an instance of classifying, Y ends up at Z, X is a patient of Y, and Z is an instance of food |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR FoodRating) (instance ?ENTITY AutonomousAgent)) (exists (?FOOD ?COOK ?CLASSIFY) (and (instance ?COOK Cooking) (agent ?COOK ?ENTITY) (result ?COOK ?FOOD) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?FOOD) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 3080-3093 | If X believes Y is Z, Z is an instance of food rating, and Y is an instance of agent, then All of the following hold: (1) there exist W, V (2) U such that V is an instance of cooking (3) Y is an agent of V (4) W is a result of V (5) U is an instance of classifying (6) X is an agent of U (7) U ends up at W (8) Z is a patient of U |
|