GuancheLanguage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4663-4666 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10040-10040 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4662-4662 | GuancheLanguage e' uma instancia de GuanacheGroupLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26898-26898 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26897-26897 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26896-26896 |