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 | EnglishGroupLanguage est une sous-classe de WestGermanicLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7577-7577 | AngloromaniLanguage est une instance de EnglishGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7324-7324 | CaymanIslandsEnglishLanguage est une instance de EnglishGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7334-7334 | EnglishLanguage est une instance de EnglishGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7598-7598 | ScotsLanguage est une instance de EnglishGroupLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7625-7625 | YinglishLanguage est une instance de EnglishGroupLanguage |
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 |