No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2554-2554 | Port is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2870-2870 | USB port is a subclass of port |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2881-2881 | DockPort is a subclass of port |