Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - RatingAttribute
RatingAttribute(rating attribute)rating

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 3007-3009
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3006-3006 Rating attribute 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 3116-3116 Ambience rating is a subclass of rating attribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3057-3057 Food rating is a subclass of rating attribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3037-3037 Hotel rating is a subclass of rating attribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3120-3120 Price rating is a subclass of rating attribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3047-3047 Restaurant rating is a subclass of rating attribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3088-3088 Service rating is a subclass of rating attribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3010-3010 Service rating is a subclass of rating attribute

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 3025-3025 The number 1 argument of ratings agent is an instance of rating attribute

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 3014-3019


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners