| (subclass Abstract Entity) | Merge.kif 1669-1669 | Abstrato e' uma sub-classe de Entidade |
| (subclass ProcessTask Abstract) | QoSontology.kif 1942-1942 | ProcessTask e' uma sub-classe de Abstrato |
| (subclass Quantity Abstract) | Merge.kif 1694-1694 | Quantidade e' uma sub-classe de Abstrato |
| (subclass Attribute Abstract) | Merge.kif 1700-1700 | Atributo e' uma sub-classe de Abstrato |
| (subclass SetOrClass Abstract) | Merge.kif 2128-2128 | Conjunto ou Classe e' uma sub-classe de Abstrato |
| (subclass Relation Abstract) | Merge.kif 2159-2159 | Relacao e' uma sub-classe de Abstrato |
| (subclass List Abstract) | Merge.kif 2875-2875 | Lista e' uma sub-classe de Abstrato |
| (subclass Proposition Abstract) | Merge.kif 3555-3555 | Proposicao e' uma sub-classe de Abstrato |
|
|