No TPTP formula. May not be expressible in strict first order. |
Languages.kif 176-179 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10383-10383 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9877-9877 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10378-10378 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10379-10379 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10380-10380 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10381-10381 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 175-175 |
Algerian sign language is an instance of deaf sign language |