| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17322-17322 | 子類 SubjectiveAssessmentAttribute and NormativeAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25682-25682 | 子類 TemperatureAttribute and SubjectiveAssessmentAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17347-17347 | 子類 SubjectiveStrongPositiveAttribute and SubjectiveAssessmentAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17355-17355 | 子類 SubjectiveWeakPositiveAttribute and SubjectiveAssessmentAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17364-17364 | 子類 SubjectiveStrongNegativeAttribute and SubjectiveAssessmentAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17372-17372 | 子類 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 |
|
|