(subclass EngineeringConnection EngineeringComponent) | Merge.kif 16116-16116 | Engineering connection is a subclass of engineering component |
(subclass InternetConnection EngineeringConnection) | Hotel.kif 1387-1387 | Internet connection is a subclass of engineering connection |
(subclass Cable EngineeringConnection) | Hotel.kif 1398-1398 | Cable is a subclass of engineering connection |