No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1784-1784 | Switch device is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 749-749 | Relay is a subclass of switch device |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3135-3135 | Home button is a subclass of switch device |