No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2962-2966 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12036-12036 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12037-12037 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12035-12035 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12038-12038 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12040-12040 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12041-12041 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12034-12034 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10303-10303 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12039-12039 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2961-2961 |
子類 中轉站 and StationaryArtifact |