No TPTP formula. May not be expressible in strict first order. | Merge.kif 1477-1477 | Natural language is a subclass of human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12647-12647 | Language family is a subclass of natural language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14594-14594 | Chinese language is a subclass of natural language |