| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3477-3478 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 56-56 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3476-3476 | Light fixture is a subclass of device |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3484-3484 | Candle is a subclass of light fixture |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5136-5136 | Electric light fixture is a subclass of light fixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3524-3524 | Vehicle light is a subclass of light fixture |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34389-34389 | Vehicle light is a subclass of light fixture |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34388-34388 | Vehicle light is a subclass of light fixture |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34387-34387 | Vehicle light is a subclass of light fixture |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5152-5152 | A light bulb is typically a part of a light fixture |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5153-5153 | A light fixture typically has a part light bulb |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3480-3482 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1108-1121 |
|
|
|
|