No TPTP formula. May not be expressible in strict first order. | Merge.kif 1405-1405 | 子類 Language and LinguisticExpression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1413-1413 | 子類 WrittenLanguage and Language |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1415-1415 | 子類 AnimalLanguage and Language |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1429-1429 | 子類 ArtificialLanguage and Language |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1446-1446 | 子類 HumanLanguage and Language |