LithuanianSignLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 825-827 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 824-824 | LithuanianSignLanguage e' uma instancia de DeafSignLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34745-34745 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34744-34744 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34743-34743 |