| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17344-17344 | 子類 SubjectiveAssessmentAttribute and NormativeAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25670-25670 | 子類 TemperatureAttribute and SubjectiveAssessmentAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17369-17369 | 子類 SubjectiveStrongPositiveAttribute and SubjectiveAssessmentAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17377-17377 | 子類 SubjectiveWeakPositiveAttribute and SubjectiveAssessmentAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17386-17386 | 子類 SubjectiveStrongNegativeAttribute and SubjectiveAssessmentAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17394-17394 | 子類 SubjectiveWeakNegativeAttribute and SubjectiveAssessmentAttribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2995-2995 | 子類 RatingAttribute and SubjectiveAssessmentAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1022-1022 | 子類 TimeAttribute and SubjectiveAssessmentAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1061-1061 | 子類 AmbienceAttribute and SubjectiveAssessmentAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1125-1125 | 子類 FoodAttribute and SubjectiveAssessmentAttribute |
|
|