No TPTP formula. May not be expressible in strict first order. | Merge.kif 1543-1543 | Word is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2504-2504 | Search term is a subclass of word |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15248-15248 | Noun is a subclass of word |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15253-15253 | Verb is a subclass of word |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15257-15257 | Adjective is a subclass of word |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15261-15261 | Adverb is a subclass of word |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15265-15265 | Particle word is a subclass of word |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3092-3092 | Palindrome is a subclass of word |