No TPTP formula. May not be expressible in strict first order. |
Languages.kif 746-753 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11271-11271 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11270-11270 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11272-11272 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11258-11258 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11254-11254 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11269-11269 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11264-11264 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11255-11255 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11261-11261 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11260-11260 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11267-11267 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11265-11265 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11266-11266 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11257-11257 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11259-11259 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11262-11262 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11263-11263 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10076-10076 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11268-11268 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11256-11256 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 745-745 |
Japanese sign language is an instance of deaf sign language |