| (subclass Abstract Entity) | Merge.kif 1679-1679 | |
| (subclass ProcessTask Abstract) | QoSontology.kif 2073-2073 | |
| (subclass Quantity Abstract) | Merge.kif 1704-1704 | |
| (subclass Attribute Abstract) | Merge.kif 1710-1710 | |
| (subclass SetOrClass Abstract) | Merge.kif 2139-2139 | |
| (subclass Relation Abstract) | Merge.kif 2170-2170 | |
| (subclass List Abstract) | Merge.kif 2888-2888 | |
| (subclass Proposition Abstract) | Merge.kif 3570-3570 |
|
|