No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3565-3565 |
Candle is a subclass of light fixture |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5056-5056 |
ElectricLightFixture is a subclass of light fixture |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3605-3605 |
Vehicle light is a subclass of light fixture |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34351-34351 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34350-34350 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34349-34349 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5072-5072 |
A light bulb is typically a part of a light fixture |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5073-5073 |
A light fixture typically has a part light bulb |