No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1746-1747 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6933-6933 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8135-8135 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8134-8134 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1745-1745 |
Turbine is a subclass of engine |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 90-90 |
Turbine is a subclass of internal combustion engine |