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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61382-61382 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61381-61381 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61380-61380 |
|