ServiceRating - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3014-3015
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3013-3013	ServiceRating is a subclass of RatingAttribute

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3026-3038	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 agent is an agent of the other process 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 3017-3024	If a physical is an instance of ServiceRating, then the physical 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