Attributes

SUO-KIF for the beginner

attribute vs. Attribute

attribute (lower-case 'a') is a relation, while Attribute (upper-case 'a') is a class. Relations relate different entities to each other. In the case of attribute (lower case), it 'relates' an Object to an Attribute (upper-case).

modalAttribute

modalAttribute is another relation, but it relates an entire formula to an Attribute.