more pictures...
| AlphabeticCharacter(alphabetic character)
more pictures... | | A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, a, alphabetic_character, ascender, b, c, d, descender, double-u, e, ex, f, g, h, i, j, k, l, letter, letter_of_the_alphabet, m, n, o, p, q, r... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19467-19468 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8844-8844 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8846-8846 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8330-8330 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8849-8849 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8850-8850 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8848-8848 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19466-19466 | Alphabetic character is a subclass of character |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19474-19474 | Consonant is a subclass of alphabetic character |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19478-19478 | Vowel is a subclass of alphabetic character |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6984-6984 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6983-6983 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6982-6982 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3041-3045 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2904-2909 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2941-2948 |
|
|
|
|