| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17322-17322 | Atributo Subjectivo e' uma sub-classe de Atributo Normativo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25682-25682 | TemperatureAttribute e' uma sub-classe de Atributo Subjectivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17347-17347 | SubjectiveStrongPositiveAttribute e' uma sub-classe de Atributo Subjectivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17355-17355 | SubjectiveWeakPositiveAttribute e' uma sub-classe de Atributo Subjectivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17364-17364 | SubjectiveStrongNegativeAttribute e' uma sub-classe de Atributo Subjectivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17372-17372 | SubjectiveWeakNegativeAttribute e' uma sub-classe de Atributo Subjectivo |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2995-2995 | RatingAttribute e' uma sub-classe de Atributo Subjectivo |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1022-1022 | TimeAttribute e' uma sub-classe de Atributo Subjectivo |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1061-1061 | AmbienceAttribute e' uma sub-classe de Atributo Subjectivo |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1125-1125 | FoodAttribute e' uma sub-classe de Atributo Subjectivo |
|
|