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 15270-15270 | Noun is a subclass of word |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15275-15275 | Verb is a subclass of word |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15279-15279 | Adjective is a subclass of word |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15283-15283 | Adverb is a subclass of word |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15287-15287 | 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 |