No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12113-12113 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12109-12109 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10320-10320 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12110-12110 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12112-12112 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 477-477 |
UnincorporatedUnitedStatesTerritory e' uma sub-classe de OverseasArea |