No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 922-924 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10422-10422 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10420-10420 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10417-10417 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10418-10418 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10421-10421 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10416-10416 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10419-10419 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9887-9887 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10415-10415 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 921-921 |
Anchorage e' uma sub-classe de Area Aquatica |