|
|
   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 | High german language is a subclass of west germanic language |
| 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 |
|
|
|
