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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RatingAttribute
RatingAttribute

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2996-2998
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2995-2995 RatingAttribute e' uma sub-classe de Atributo Subjectivo

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 3105-3105 AmbienceRating e' uma sub-classe de RatingAttribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3046-3046 FoodRating e' uma sub-classe de RatingAttribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3026-3026 HotelRating e' uma sub-classe de RatingAttribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3109-3109 PriceRating e' uma sub-classe de RatingAttribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3036-3036 RestaurantRating e' uma sub-classe de RatingAttribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3077-3077 ServiceRating e' uma sub-classe de RatingAttribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2999-2999

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 3014-3014 O argumento numero 1 de ratingsAgent e' uma instancia de RatingAttribute

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 3003-3008


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