Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  cloudCoverFraction
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ServiceRating RatingAttribute) | Hotel.kif 3095-3095 | Service rating is a subclass of rating attribute |
| (documentation ServiceRating EnglishLanguage "ServiceRating is a SubjectiveAssessmentAttribute specifically targeted at the overall quality of service given by an agent") | Hotel.kif 3096-3097 | Service rating is a subclass of rating attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ServiceRating "service rating") | domainEnglishFormat.kif 65478-65478 |
| antecedent |
|
|
| (=> (instance ?RATING ServiceRating) (hasPurpose ?RATING (exists (?C ?S) (and (instance ?C Classifying) (destination ?C ?S) (patient ?C ?RATING) (instance ?S ServiceProcess))))) |
Hotel.kif 3099-3107 | If X is an instance of service 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 service |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR ServiceRating) (instance ?ENTITY AutonomousAgent)) (exists (?SVC ?CLASSIFY) (and (instance ?SVC ServiceProcess) (agent ?SVC ?ENTITY) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?SVC) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 3109-3121 | If X believes Y is Z, Z is an instance of service rating, and Y is an instance of agent, then All of the following hold: (1) there exist W (2) V such that W is an instance of service (3) Y is an agent of W (4) V is an instance of classifying (5) X is an agent of V (6) V ends up at W (7) Z is a patient of V |
|