is extension of

URI: https://gptkb.org/prop/is_extension_of
7 triples
GPTKB property
Random triples
Subject Object
gptkb:SROIQ(D) SROIQ
gptkb:Recon3D Recon2
gptkb:affine_G2 gptkb:G2_Lie_algebra
gptkb:Recon3D Recon1
gptkb:E_7^{(1)} gptkb:E_7_Lie_algebra
gptkb:E_8^{(1)} gptkb:E_8_Lie_algebra
gptkb:affine_E8 gptkb:E8_Lie_algebra