FrenchSignLanguage(french sign language) |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11030-11030 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11035-11035 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11024-11024 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11015-11015 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 549-549 | French sign language is an instance of deaf sign language |