| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1543-1543 | 子類 Word and LinguisticExpression |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2504-2504 | 子類 SearchTerm and Word |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15270-15270 | 子類 Noun and Word |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15275-15275 | 子類 Verb and Word |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15279-15279 | 子類 Adjective and Word |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15283-15283 | 子類 Adverb and Word |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15287-15287 | 子類 助詞 and Word |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3092-3092 | 子類 Palindrome and Word |
|
|