HighGermanLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7727-7728 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7721-7722 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8522-8522 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9293-9293 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7720-7720 | HighGermanLanguage e' uma sub-classe de WestGermanicLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28113-28113 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28112-28112 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28111-28111 |