No TPTP formula. May not be expressible in strict first order. |
Languages.kif 788-795 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11292-11292 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11281-11281 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11284-11284 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11290-11290 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11289-11289 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11288-11288 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11285-11285 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11282-11282 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11287-11287 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10082-10082 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11293-11293 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11286-11286 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11283-11283 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11294-11294 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11291-11291 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 787-787 |
KoreanSignLanguage e' uma instancia de DeafSignLanguage |