No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2788-2791 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2793-2793 |
臭氧盾 是 測量 25.0 and 英里 above 地表 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9514-9514 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9515-9515 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9512-9512 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8635-8635 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9513-9513 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9510-9510 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9511-9511 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2772-2772 |
例 臭氧盾 and 大氣地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2773-2773 |
例 臭氧盾 and CompoundSubstance |