| RatingAttribute | | rating |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2937-2939 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2936-2936 | RatingAttribute is a subclass of subjective assessment attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3040-3040 | AmbienceRating is a subclass of RatingAttribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2983-2983 | FoodRating is a subclass of RatingAttribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2963-2963 | HotelRating is a subclass of RatingAttribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3044-3044 | PriceRating is a subclass of RatingAttribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2973-2973 | RestaurantRating is a subclass of RatingAttribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3013-3013 | ServiceRating is a subclass of RatingAttribute |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2952-2952 | The number 1 argument of ratingsAgent is an instance of RatingAttribute |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2943-2946 |
|
|
|
|