No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3621-3621 | Wire line is a subclass of wire |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3622-3622 | Wire line is a subclass of engineering component |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3633-3633 | Telephone line is a subclass of wire line |