No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6448-6448 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6431-6431 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6432-6432 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6433-6433 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6434-6434 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6435-6435 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6436-6436 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6438-6438 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6439-6439 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6441-6441 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5976-5976 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6442-6442 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6443-6443 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6444-6444 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6445-6445 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6446-6446 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6447-6447 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 172-172 |
東南美洲 是 南美洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 241-241 |
東南美洲 是 西半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 96-96 |
例 東南美洲 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 242-242 |
在空間上重疊 東南美洲 and 北半球 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 243-243 |
在空間上重疊 東南美洲 and 南半球 |