| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16165-16165 | Subjective assessment attribute is a subclass of normative attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21895-21895 | Temperature attribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16190-16190 | SubjectiveStrongPositiveAttribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16198-16198 | SubjectiveWeakPositiveAttribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16207-16207 | SubjectiveStrongNegativeAttribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16215-16215 | SubjectiveWeakNegativeAttribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2950-2950 | RatingAttribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 975-975 | TimeAttribute is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1014-1014 | Ambience is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1078-1078 | Food attribute is a subclass of subjective assessment attribute |
|
|