No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3086-3087 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6912-6912 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8030-8030 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8031-8031 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8032-8032 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8033-8033 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3085-3085 |
子類 尾燈 and 車燈 |