No TPTP formula. May not be expressible in strict first order. | Merge.kif 16116-16116 | Engineering connection is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1387-1387 | Internet connection is a subclass of engineering connection |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1398-1398 | Cable is a subclass of engineering connection |