No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3062-3062 | Vehicle light is a subclass of light fixture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3074-3074 | Headlight is a subclass of vehicle light |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3085-3085 | Taillight is a subclass of vehicle light |