ServiceRating - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3007-3008
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3006-3006	ServiceRating is a subclass of RatingAttribute

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3019-3030	If an agent believes another agent is an attribute and the attribute is an instance of ServiceRating and the other agent is an instance of agent, then there exist a process and another process such that the process is an instance of service and the other agent is an agent of the process and the other process is an instance of classifying and the other process ends up at the process and the attribute is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3010-3017	If a physical is an instance of ServiceRating, then the physical has purpose an entity is an instance of classifying and the entity ends up at another entity and the physical is a patient of the entity and the other entity is an instance of service