MaritimeSignLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 852-857 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 851-851 | MaritimeSignLanguage est une instance de DeafSignLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36251-36251 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36250-36250 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36249-36249 |