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 | Austronesian language is a subclass of spoken human language |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14588-14588 | Chamorro language is an instance of austronesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14615-14615 | Fijian language is an instance of austronesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14628-14628 | Indonesian language is an instance of austronesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14630-14630 | Javanese language is an instance of austronesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14653-14653 | Malagasy language is an instance of austronesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14652-14652 | Malay language is an instance of austronesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14443-14443 | Maori language is an instance of austronesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14649-14649 | Marshallese language is an instance of austronesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14657-14657 | Nauruan language is an instance of austronesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14675-14675 | Samoan language is an instance of austronesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14679-14679 | Sundanese language is an instance of austronesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14685-14685 | Tagalog language is an instance of austronesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14681-14681 | Tahitian language is an instance of austronesian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14688-14688 | Tongan language is an instance of austronesian language |
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 |