|
|
   AustronesianLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5715-5717 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5714-5714 | AustronesianLanguage est une sous-classe de SpokenHumanLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14588-14588 | ChamorroLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14615-14615 | FijianLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14628-14628 | IndonesianLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14630-14630 | JavaneseLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14653-14653 | MalagasyLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14652-14652 | MalayLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14443-14443 | MaoriLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14649-14649 | MarshalleseLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14657-14657 | NauruanLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14675-14675 | SamoanLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14679-14679 | SundaneseLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14685-14685 | TagalogLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14681-14681 | TahitianLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14688-14688 | TonganLanguage est une instance de AustronesianLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9138-9138 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9137-9137 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9136-9136 |
|
|
|