| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17497-17497 | Subjective assessment attribute is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27580-27580 | Temperature attribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17522-17522 | Subjective strong positive attribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17530-17530 | Subjective weak positive attribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17539-17539 | Subjective strong negative attribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17547-17547 | Subjective weak negative attribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3006-3006 | Rating attribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1022-1022 | Time attribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1061-1061 | Ambience is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1125-1125 | Food attribute is a subclass of subjective assessment attribute |
|
|