| (subclass Abstract Entity) | Merge.kif 1573-1573 | |
| (subclass ProcessTask Abstract) | QoSontology.kif 1948-1948 | |
| (subclass Quantity Abstract) | Merge.kif 1598-1598 | |
| (subclass Attribute Abstract) | Merge.kif 1604-1604 | |
| (subclass SetOrClass Abstract) | Merge.kif 2036-2036 | |
| (subclass Relation Abstract) | Merge.kif 2067-2067 | |
| (subclass Proposition Abstract) | Merge.kif 3400-3400 | |
| (subclass Model Abstract) | engineering.kif 68-68 |
|
|