No TPTP formula. May not be expressible in strict first order. | Languages.kif 12654-12654 | Sino tibetan language is a subclass of language family |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14591-14591 | Chinese language is a subclass of sino tibetan language |