| (subclass Abstract Entity) | Merge.kif 1609-1609 | Abstract is a subclass of entity |
| (subclass ProcessTask Abstract) | QoSontology.kif 1947-1947 | Process task is a subclass of abstract |
| (subclass Quantity Abstract) | Merge.kif 1634-1634 | Quantity is a subclass of abstract |
| (subclass Attribute Abstract) | Merge.kif 1640-1640 | Attribute is a subclass of abstract |
| (subclass SetOrClass Abstract) | Merge.kif 2068-2068 | Set or class is a subclass of abstract |
| (subclass Relation Abstract) | Merge.kif 2099-2099 | Relation is a subclass of abstract |
| (subclass List Abstract) | Merge.kif 2803-2803 | List is a subclass of abstract |
| (subclass Proposition Abstract) | Merge.kif 3483-3483 | Proposition is a subclass of abstract |
|
|