No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13578-13580 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12136-12136 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10330-10330 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12139-12139 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12138-12138 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12140-12140 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13577-13577 |
UtoAztecanLanguage e' uma sub-classe de SpokenHumanLanguage |