WesternAtlanticEnglishBasedCreoleLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 1904-1907 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 1903-1903 | WesternAtlanticEnglishBasedCreoleLanguage e' uma sub-classe de AtlanticEnglishBasedCreoleLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 1909-1909 | BayIslandsCreoleEnglishLanguage e' uma instancia de WesternAtlanticEnglishBasedCreoleLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 1925-1925 | NorthernCentralAmericaCreoleEnglishLanguage e' uma instancia de WesternAtlanticEnglishBasedCreoleLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 1963-1963 | SouthwesternCaribbeanCreoleEnglishLanguage e' uma instancia de WesternAtlanticEnglishBasedCreoleLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62759-62759 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62758-62758 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62757-62757 |