LencaLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4177-4187 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10096-10096 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4176-4176 | LencaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33947-33947 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33946-33946 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33945-33945 |