No TPTP formula. May not be expressible in strict first order. |
Languages.kif 376-386 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9919-9919 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10564-10564 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10565-10565 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 375-375 |
Bulgarian sign language is an instance of deaf sign language |