|
|
   EnglishGroupLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7320-7321 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10963-10963 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10965-10965 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10964-10964 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10962-10962 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7319-7319 | English group language is a subclass of west germanic language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7577-7577 | Angloromani language is an instance of english group language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7324-7324 | Cayman islands english language is an instance of english group language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7334-7334 | English language is an instance of english group language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7598-7598 | Scots language is an instance of english group language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7625-7625 | Yinglish language is an instance of english group language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22156-22156 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22155-22155 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22154-22154 |
|
|
|
