SinoTibetanLanguage![]() ![]() ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12655-12657 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11861-11861 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10258-10258 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11864-11864 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11863-11863 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11862-11862 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11860-11860 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12654-12654 | SinoTibetanLanguage e' uma sub-classe de LanguageFamily |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14587-14587 | BurmeseLanguage e' uma instancia de SinoTibetanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14612-14612 | DzongkhaLanguage e' uma instancia de SinoTibetanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14625-14625 | SichuanYiLanguage e' uma instancia de SinoTibetanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14585-14585 | TibetanLanguage e' uma instancia de SinoTibetanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14591-14591 | ChineseLanguage e' uma sub-classe de SinoTibetanLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53210-53210 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53209-53209 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53208-53208 |
![]() |
![]() |