SinoTibetanLanguage - Sigma Knowledge base Browser

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 est une sous-classe de LanguageFamily

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14587-14587	BurmeseLanguage est une instance de SinoTibetanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14612-14612	DzongkhaLanguage est une instance de SinoTibetanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14625-14625	SichuanYiLanguage est une instance de SinoTibetanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14585-14585	TibetanLanguage est une instance de SinoTibetanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14591-14591	ChineseLanguage est une sous-classe de SinoTibetanLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53212-53212
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53211-53211
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53210-53210