(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 |
![]() |