| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1543-1543 | Palavra e' uma sub-classe de Expressao Linguistica |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2504-2504 | SearchTerm e' uma sub-classe de Palavra |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15270-15270 | Noun e' uma sub-classe de Palavra |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15275-15275 | Verbo e' uma sub-classe de Palavra |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15279-15279 | Adjetivo e' uma sub-classe de Palavra |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15283-15283 | Adverbio e' uma sub-classe de Palavra |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15287-15287 | ParticleWord e' uma sub-classe de Palavra |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3092-3092 | Palindrome e' uma sub-classe de Palavra |
|
|