WestBirdsHeadLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13725-13726 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13724-13724 | WestBirdsHeadLanguage est une sous-classe de BirdsHeadLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13729-13729 | KalabraLanguage est une instance de WestBirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13736-13736 | MoiLanguage est une instance de WestBirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13743-13743 | MoraidLanguage est une instance de WestBirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13751-13751 | SegetLanguage est une instance de WestBirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13758-13758 | TehitLanguage est une instance de WestBirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62741-62741 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62740-62740 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62739-62739 |