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 |
geographicSubregion EasternSouthAmerica and SouthAmerica |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 241-241 |
geographicSubregion EasternSouthAmerica and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 96-96 |
EasternSouthAmerica e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 242-242 |
EasternSouthAmerica engloba NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 243-243 |
EasternSouthAmerica engloba SouthernHemisphere |